make SML/NJ more happy;
authorwenzelm
Sat Apr 11 12:24:51 2015 +0200 (2015-04-11)
changeset 60008dfbd51a5eab1
parent 60007 41a117825097
child 60009 bd1c342dbbce
make SML/NJ more happy;
src/HOL/ROOT
     1.1 --- a/src/HOL/ROOT	Fri Apr 10 23:58:07 2015 +0200
     1.2 +++ b/src/HOL/ROOT	Sat Apr 11 12:24:51 2015 +0200
     1.3 @@ -806,7 +806,7 @@
     1.4    theories Mirabelle_Test
     1.5  
     1.6  session "HOL-Mirabelle-ex" in "Mirabelle/ex" = "HOL-Mirabelle" +
     1.7 -  options [document = false, timeout = 60]
     1.8 +  options [condition = ML_SYSTEM_POLYML, document = false, timeout = 60]
     1.9    theories Ex
    1.10  
    1.11  session "HOL-Word-SMT_Examples" in SMT_Examples = "HOL-Word" +