1 files changed, 1 insertions, 1 deletions
diff --git a/txr.h b/txr.h
index 7ff260d5..de458560 100644
--- a/txr.h
+++ b/txr.h
@@ -25,7 +25,7 @@
  */
 
 extern int opt_loglevel;
-extern int opt_nobindings;
+extern int opt_print_bindings;
 extern int opt_lisp_bindings;
 extern int opt_arraydims;
 extern int opt_gc_debug;