src/HOL/Tools/SMT/smtlib_interface.ML
changeset 58360 dee1fd1cc631
parent 58061 3d060f43accb
child 58361 7f2b3b6f6ad1
     1.1 --- a/src/HOL/Tools/SMT/smtlib_interface.ML	Wed Sep 17 16:20:13 2014 +0200
     1.2 +++ b/src/HOL/Tools/SMT/smtlib_interface.ML	Wed Sep 17 16:53:39 2014 +0200
     1.3 @@ -153,7 +153,7 @@
     1.4  
     1.5  fun translate_config ctxt = {
     1.6    logic = choose_logic ctxt,
     1.7 -  has_datatypes = false,
     1.8 +  fp_kinds = [],
     1.9    serialize = serialize}
    1.10  
    1.11  val _ = Theory.setup (Context.theory_map