--- a/src/Tools/Metis/src/PortableIsabelle.sml Sun Nov 08 13:44:16 2009 +0100
+++ b/src/Tools/Metis/src/PortableIsabelle.sml Sun Nov 08 13:56:44 2009 +0100
@@ -33,10 +33,10 @@
(* Generating random values. *)
(* ------------------------------------------------------------------------- *)
-val randomWord = RandomWord.next_word;
-val randomBool = RandomWord.next_bool;
-fun randomInt n = RandomWord.next_int 0 (n - 1);
-val randomReal = RandomWord.next_real;
+val randomWord = Random_Word.next_word;
+val randomBool = Random_Word.next_bool;
+fun randomInt n = Random_Word.next_int 0 (n - 1);
+val randomReal = Random_Word.next_real;
end;
--- a/src/Tools/random_word.ML Sun Nov 08 13:44:16 2009 +0100
+++ b/src/Tools/random_word.ML Sun Nov 08 13:56:44 2009 +0100
@@ -18,7 +18,7 @@
val pick_weighted: (int * 'a) list -> 'a
end;
-structure RandomWord: RANDOM_WORD =
+structure Random_Word: RANDOM_WORD =
struct
(* random words: 0w0 <= result <= max_word *)