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