changeset 51946 | 449fbf64f4a5 |
parent 51944 | 45b972dc7888 |
child 51949 | f6858bb224c9 |
--- a/src/Pure/ProofGeneral/preferences.ML Sun May 12 17:56:53 2013 +0200 +++ b/src/Pure/ProofGeneral/preferences.ML Sun May 12 18:20:16 2013 +0200 @@ -58,8 +58,7 @@ fun options_pref option_name pgip_name descr : preference = let - val options = Options.default (); - val typ = Options.typ options option_name; + val typ = Options.default_typ option_name; val pgiptype = if typ = Options.boolT then PgipTypes.Pgipbool else if typ = Options.intT then PgipTypes.Pgipint (NONE, NONE)