flexible support for source unit names based on mlb-file hashing - is…

…sue #97
melsman · Jan 17, 2022 · 6e46bfd · 6e46bfd
1 parent 896682b
commit 6e46bfd
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/Common/md5.mlb b/src/Common/md5.mlb
@@ -0,0 +1,3 @@
+local $(SML_LIB)/basis/basis.mlb
+in MD5.sml
+end