diff --git a/foldemo.py b/foldemo.py
index 8035f85..eb350d7 100644
--- a/foldemo.py
+++ b/foldemo.py
@@ -1,7 +1,6 @@
 from plyxproto.logicparser import *
 import ply.lex as lex
 import ply.yacc as yacc
-import pdb
 
 test_1 = "<true>"
 test_2 = "<a | b>"
@@ -15,6 +14,6 @@
 lexer = lex.lex(module=FOLLexer(), debug=DEBUG)
 parser = yacc.yacc(module=FOLParser(), start='goal', debug=DEBUG)
 
-for x,v in globals().items():
+for x, v in globals().items():
     if x.startswith('test_'):
-        print parser.parse(v, lexer = lexer, debug=DEBUG)
+        print parser.parse(v, lexer=lexer, debug=DEBUG)