src/HOL/Tools/SMT/smtlib_interface.ML

 
 (* interface *)
 
 fun translate_config ctxt = {
   logic = choose_logic ctxt,
-  has_datatypes = false,
+  fp_kinds = [],
   serialize = serialize}
 
 val _ = Theory.setup (Context.theory_map
   (setup_builtins #>
    SMT_Translate.add_config (smtlibC, translate_config)))