From 6e5d551071cdf0e03cca7f8c9ca5e54244e2b150 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bitbucket@bruce-hill.com>
Date: Mon, 23 Jul 2018 14:53:12 -0700
Subject: Run 'use "core"' by default before running anything else, unless
 --no-core command line flag is used.

---
 tools/autoformat.nom  | 1 -
 tools/find_action.nom | 1 -
 tools/parse.nom       | 1 -
 tools/test.nom        | 1 -
 tools/upgrade.nom     | 1 -
 5 files changed, 5 deletions(-)

(limited to 'tools')

diff --git a/tools/autoformat.nom b/tools/autoformat.nom
index 1c591a0..971aec3 100755
--- a/tools/autoformat.nom
+++ b/tools/autoformat.nom
@@ -1,5 +1,4 @@
 #!/usr/bin/env nomsu -V2.5.4.3
-use "core"
 use "lib/os.nom"
 
 %args = (command line args)
diff --git a/tools/find_action.nom b/tools/find_action.nom
index b51a0f8..716fc9f 100755
--- a/tools/find_action.nom
+++ b/tools/find_action.nom
@@ -1,5 +1,4 @@
 #!/usr/bin/env nomsu -V2.5.4.3
-use "core"
 use "lib/os.nom"
 use "lib/consolecolor.nom"
 
diff --git a/tools/parse.nom b/tools/parse.nom
index 35613d2..2c70f71 100755
--- a/tools/parse.nom
+++ b/tools/parse.nom
@@ -1,5 +1,4 @@
 #!/usr/bin/env nomsu -V2.5.4.3
-use "core"
 use "lib/os.nom"
 
 action [print tree %t at indent %indent]:
diff --git a/tools/test.nom b/tools/test.nom
index 3f2622e..1cad598 100755
--- a/tools/test.nom
+++ b/tools/test.nom
@@ -1,5 +1,4 @@
 #!/usr/bin/env nomsu -V2.5.4.3
-use "core"
 use "lib/os.nom"
 use "lib/consolecolor.nom"
 
diff --git a/tools/upgrade.nom b/tools/upgrade.nom
index 690d4fb..a051818 100755
--- a/tools/upgrade.nom
+++ b/tools/upgrade.nom
@@ -1,5 +1,4 @@
 #!/usr/bin/env nomsu -V2.5.4.3
-use "core"
 use "compatibility"
 use "lib/os.nom"
 
-- 
cgit v1.2.3