--- a/pyke/krb_compiler/krbparser.py
+++ b/pyke/krb_compiler/krbparser.py
@@ -45,7 +45,7 @@
 def p_goal(p):
     ''' python_goal : CHECK_TOK IDENTIFIER_TOK '.' IDENTIFIER_TOK LP_TOK patterns_opt RP_TOK
     '''
-    p[0] = (p[2], p[4], p[6], python_vars, pattern_vars)
+    p[0] = (p[2], p[4], p[6], pattern_vars)
 
 def p_file(p):
     ''' file : nl_opt parent_opt fc_rules bc_rules_opt
@@ -381,13 +381,6 @@
         p[0] = contexts.variable(p[1])
     else:
         p[0] = "contexts.variable(%s)" % p[1]
-
-def p_python_var(p):
-    ''' variable : PYTHON_VAR_TOK
-    '''
-    global python_vars
-    python_vars.append(p[1])
-    p[0] = contexts.variable(p[1])
 
 def p_anonymous_var(p):
     ''' variable : ANONYMOUS_VAR_TOK
@@ -609,7 +602,7 @@
                             debug=debug)
 
 def parse_goal(this_module, s, check_tables = False, debug = 0):
-    global goal_mode, python_vars, pattern_vars
+    global goal_mode, pattern_vars
     init(this_module, check_tables, debug)
     scanner.init(scanner, debug, check_tables)
     scanner.lexer.lineno = 1
@@ -617,7 +610,6 @@
     scanner.kfb_mode = False
     scanner.goal_mode = True
     goal_mode = True
-    python_vars = []
     pattern_vars = []
     #parser.restart()
     return parser.parse('check ' + s, lexer=scanner.lexer, tracking=True,