From a89d69e843ba83df928051005d02a932a9981f46 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Mon, 19 Nov 2018 17:37:37 -0800 Subject: Autoformatted/auto-upgraded. --- core/io.nom | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'core/io.nom') diff --git a/core/io.nom b/core/io.nom index c667466..04efb91 100644 --- a/core/io.nom +++ b/core/io.nom @@ -1,4 +1,4 @@ -#!/usr/bin/env nomsu -V4.10.12.7 +#!/usr/bin/env nomsu -V4.11.12.8 # This file contains basic input/output code -- cgit v1.2.3