TFL/tfl.sml
changeset 4221 ed0f67fb458b
parent 4149 a6ccec4fd0c3
child 4252 d5ccc8321e1e
--- a/TFL/tfl.sml	Wed Nov 12 16:26:05 1997 +0100
+++ b/TFL/tfl.sml	Wed Nov 12 16:27:13 1997 +0100
@@ -224,7 +224,7 @@
      case (ty_info ty_name)
      of None => mk_case_fail("Not a known datatype: "^ty_name)
       | Some{case_const,constructors} =>
-        let open Basis_Library (*restore original List*)
+        let open BasisLibrary (*restore original List*)
 	    val case_const_name = #1(dest_Const case_const)
             val nrows = List.concat (map (expand constructors pty) rows)
             val subproblems = divide(constructors, pty, range_ty, nrows)