summaryrefslogtreecommitdiff
path: root/ccross.mlb
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-05-31 19:30:21 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-05-31 19:30:38 +0200
commit546a5861526192a908f2aa2bfc3cfe4f3f3baf43 (patch)
treeacfe627e088bdba54a42e786d3b6b7053ec56fca /ccross.mlb
parent868e6313e3824d68b3121c5c95c7f29bc088c0e9 (diff)
Proper constant parsing
Diffstat (limited to 'ccross.mlb')
-rw-r--r--ccross.mlb2
1 files changed, 1 insertions, 1 deletions
diff --git a/ccross.mlb b/ccross.mlb
index 3aea79a..fd603fe 100644
--- a/ccross.mlb
+++ b/ccross.mlb
@@ -6,7 +6,7 @@ in
$(SML_LIB)/basis/basis.mlb
$(SML_LIB)/basis/mlton.mlb
- common.sml
+ common.sml caux.sml
exn_handler.sig exn_handler.sml