Updated shebangs

6 files changed, 6 insertions, 6 deletions

diff --git a/tools/find.nom b/tools/find.nom
index 00b65e5..d07681a 100755
--- a/tools/find.nom
+++ b/tools/find.nom
@@ -1,4 +1,4 @@
-#!/usr/bin/env nomsu -V6.12.12.8
+#!/usr/bin/env nomsu -V6.13.12.8
 #
     This is a tool to find syntax trees matching a pattern. "*" is a wildcard
     that will match any subtree, and "**" is a wildcard that will match any
diff --git a/tools/format.nom b/tools/format.nom
index 7d8cca1..65cc2ca 100755
--- a/tools/format.nom
+++ b/tools/format.nom
@@ -1,4 +1,4 @@
-#!/usr/bin/env nomsu -V6.12.12.8
+#!/usr/bin/env nomsu -V6.13.12.8
 #
     Auto-format Nomsu code. Usage:
     nomsu -t format [-i] file1 file2...
diff --git a/tools/parse.nom b/tools/parse.nom
index 1f87bab..d28c80c 100755
--- a/tools/parse.nom
+++ b/tools/parse.nom
@@ -1,4 +1,4 @@
-#!/usr/bin/env nomsu -V6.12.12.8
+#!/usr/bin/env nomsu -V6.13.12.8
 #
     Tool to print out a parse tree of files in an easy-to-read format. Usage:
     nomsu tools/parse.nom file1 file2 directory1 ...        
diff --git a/tools/repl.nom b/tools/repl.nom
index ef262e1..983de5f 100644
--- a/tools/repl.nom
+++ b/tools/repl.nom
@@ -1,4 +1,4 @@
-#!/usr/bin/env nomsu -V6.12.12.8
+#!/usr/bin/env nomsu -V6.13.12.8
 #
     This file defines a Read-Evaluate-Print-Loop (REPL) for Nomsu
     
diff --git a/tools/test.nom b/tools/test.nom
index 1e135db..a2cd992 100755
--- a/tools/test.nom
+++ b/tools/test.nom
@@ -1,4 +1,4 @@
-#!/usr/bin/env nomsu -V6.12.12.8
+#!/usr/bin/env nomsu -V6.13.12.8
 #
     Tool to run all tests in a file (i.e. the code block inside a call to 'test %'). Usage:
     nomsu tools/test.nom file1 file2 directory1 ...
diff --git a/tools/upgrade.nom b/tools/upgrade.nom
index d890dc9..ccb12b5 100755
--- a/tools/upgrade.nom
+++ b/tools/upgrade.nom
@@ -1,4 +1,4 @@
-#!/usr/bin/env nomsu -V6.12.12.8
+#!/usr/bin/env nomsu -V6.13.12.8
 #
     Tool to automatically update code from old versions of Nomsu. Usage:
     nomsu tools/upgrade.nom [-i] file1 file2 directory1 ...