1 files changed, 1 insertions, 1 deletions
diff --git a/extract.l b/extract.l
index 4c15476d..e5baccad 100644
--- a/extract.l
+++ b/extract.l
@@ -40,7 +40,7 @@
 
 #define YY_NO_UNPUT
 
-const char *version = "011";
+const char *version = "012";
 const char *progname = "txr";
 const char *spec_file = "stdin";
 long lineno = 1;