blob: 823d3e37a8d8a30bf586868739743227dde734f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- twelf-orig/Makefile 2018-03-06 23:30:35.055598250 +1100
+++ twelf/Makefile 2018-03-06 23:24:44.403762472 +1100
@@ -11,7 +11,7 @@
polyml = poly
smlnj = sml
oldnj = sml
-mlton = mlton -default-ann 'nonexhaustiveMatch ignore'
+mlton = mlton -disable-ann nonexhaustiveMatch
make = make
twelfdir = `pwd`
|
