summaryrefslogtreecommitdiff
path: root/ccross.mlb
diff options
context:
space:
mode:
Diffstat (limited to 'ccross.mlb')
-rw-r--r--ccross.mlb3
1 files changed, 1 insertions, 2 deletions
diff --git a/ccross.mlb b/ccross.mlb
index fd603fe..29f059a 100644
--- a/ccross.mlb
+++ b/ccross.mlb
@@ -3,8 +3,7 @@ ann
"allowOrPats true"
"warnUnused true"
in
- $(SML_LIB)/basis/basis.mlb
- $(SML_LIB)/basis/mlton.mlb
+ $(SML_LIB)/basis/basis.mlb $(SML_LIB)/basis/mlton.mlb
common.sml caux.sml