From 6728587dfc6a5f4090f2673113ffedb2be924daf Mon Sep 17 00:00:00 2001
From: Bruce Hill <bitbucket@bruce-hill.com>
Date: Fri, 20 Jul 2018 20:27:15 -0700
Subject: Auto-formatted and auto-upgraded everything!

---
 tests/os.nom | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'tests/os.nom')

diff --git a/tests/os.nom b/tests/os.nom
index c96306b..c0a2403 100644
--- a/tests/os.nom
+++ b/tests/os.nom
@@ -1,9 +1,10 @@
-#!/usr/bin/env nomsu -V2.4.4.3
+#!/usr/bin/env nomsu -V2.5.4.3
 #
     Tests for the stuff defined in lib/os.nom
 
 use "core"
 use "lib/os.nom"
+
 %lines = (lines in (read file "tests/os.nom"))
 assume (%lines.3 == "    Tests for the stuff defined in lib/os.nom")
 %n = 0
-- 
cgit v1.2.3