src/Tools/Metis/src/Problem.sml

--- a/src/Tools/Metis/src/Problem.sml	Tue Nov 13 17:04:16 2007 +0100
+++ b/src/Tools/Metis/src/Problem.sml	Tue Nov 13 18:29:28 2007 +0100
@@ -25,7 +25,7 @@
       fun check 0 = true
         | check n =
           let
-            val N = 3 + random 3
+            val N = 3 + Portable.randomInt 3
             val M = Model.new {size = N, fixed = Model.fixedPure}
             val {T,F} = Model.checkFormula {maxChecks = checks} M fm
           in