diff options
| author | Bruce Hill <bitbucket@bruce-hill.com> | 2018-07-20 20:27:15 -0700 |
|---|---|---|
| committer | Bruce Hill <bitbucket@bruce-hill.com> | 2018-07-20 20:27:27 -0700 |
| commit | 6728587dfc6a5f4090f2673113ffedb2be924daf (patch) | |
| tree | 77591abacd8760bedaa30110570613ef263220fe /tests/os.nom | |
| parent | c9df1bc3e881b2ebcf5808a0db7bea29cd07c849 (diff) | |
Auto-formatted and auto-upgraded everything!
Diffstat (limited to 'tests/os.nom')
| -rw-r--r-- | tests/os.nom | 3 |
1 files changed, 2 insertions, 1 deletions
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 |