summaryrefslogtreecommitdiff
path: root/cpp.mlb
diff options
context:
space:
mode:
Diffstat (limited to 'cpp.mlb')
-rw-r--r--cpp.mlb1
1 files changed, 1 insertions, 0 deletions
diff --git a/cpp.mlb b/cpp.mlb
index ef33548..b1b0085 100644
--- a/cpp.mlb
+++ b/cpp.mlb
@@ -1,5 +1,6 @@
ann
"allowRecordPunExps true"
+ "warnUnused true"
in
$(SML_LIB)/basis/basis.mlb
cpp.sml