# HG changeset patch
# User wenzelm
# Date 938609779 -7200
# Node ID 0408848fa7d460c2a11c827be4af056035e9aadb
# Parent  2db14b7298c6da0c37b4457514188c45e8351290
Sign.defaultS;

diff -r 2db14b7298c6 -r 0408848fa7d4 src/HOLCF/domain/extender.ML
--- a/src/HOLCF/domain/extender.ML	Wed Sep 29 14:56:01 1999 +0200
+++ b/src/HOLCF/domain/extender.ML	Wed Sep 29 14:56:19 1999 +0200
@@ -19,7 +19,7 @@
   fun check_and_sort_domain (dtnvs: (string * typ list) list, cons'' :
      ((string * mixfix * (bool*string*typ) list) list) list) sg =
   let
-    val defaultS = Type.defaultS (tsig_of sg);
+    val defaultS = Sign.defaultS sg;
     val test_dupl_typs = (case duplicates (map fst dtnvs) of 
 	[] => false | dups => error ("Duplicate types: " ^ commas_quote dups));
     val test_dupl_cons = (case duplicates (map first (flat cons'')) of