From 5027bd4f0f2c6dcebf667a6924c50b0ca3df235f Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Mon, 26 Nov 2018 16:28:06 -0800 Subject: Upgraded/autoformatted. --- core/operators.nom | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'core/operators.nom') diff --git a/core/operators.nom b/core/operators.nom index 1a28a6a..9997a47 100644 --- a/core/operators.nom +++ b/core/operators.nom @@ -1,4 +1,4 @@ -#!/usr/bin/env nomsu -V4.11.12.8 +#!/usr/bin/env nomsu -V4.12.12.8 # This file contains definitions of operators like "+" and "and". -- cgit v1.2.3