From faaf5311c8d94b3cb0ccfbecf7b034e529c6e7b7 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Mon, 31 Dec 2018 00:20:07 -0800
Subject: Updated shebangs

---
 tools/find.nom    | 2 +-
 tools/format.nom  | 2 +-
 tools/parse.nom   | 2 +-
 tools/repl.nom    | 2 +-
 tools/test.nom    | 2 +-
 tools/upgrade.nom | 2 +-
 6 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'tools')

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 ...
-- 
cgit v1.2.3