From 6e5d551071cdf0e03cca7f8c9ca5e54244e2b150 Mon Sep 17 00:00:00 2001 From: Bruce Hill 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 - 1 file changed, 1 deletion(-) (limited to 'tools/autoformat.nom') 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) -- cgit v1.2.3