summaryrefslogtreecommitdiff
path: root/cpp.mlb
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-03-23 16:51:05 +0100
committerVladimir Azarov <avm@intermediate-node.net>2025-03-23 16:51:05 +0100
commit912d3013062b5e81e781037ef94e9549f5bb19be (patch)
tree2b26e2d66a59196320f09d6c3c9d4dc29402a543 /cpp.mlb
parent806082ec8249bb73c1d69a43bd8aea2bc9ef0364 (diff)
Proper error messages
Diffstat (limited to 'cpp.mlb')
-rw-r--r--cpp.mlb2
1 files changed, 2 insertions, 0 deletions
diff --git a/cpp.mlb b/cpp.mlb
index b1b0085..8039660 100644
--- a/cpp.mlb
+++ b/cpp.mlb
@@ -3,5 +3,7 @@ ann
"warnUnused true"
in
$(SML_LIB)/basis/basis.mlb
+ $(SML_LIB)/basis/mlton.mlb
+
cpp.sml
end