--- a/src/HOL/Tools/SMT/smt_systems.ML Fri Jan 04 21:49:06 2019 +0100
+++ b/src/HOL/Tools/SMT/smt_systems.ML Fri Jan 04 23:22:53 2019 +0100
@@ -65,7 +65,7 @@
(* CVC4 *)
-val cvc4_extensions = Attrib.setup_config_bool @{binding cvc4_extensions} (K false)
+val cvc4_extensions = Attrib.setup_config_bool \<^binding>\<open>cvc4_extensions\<close> (K false)
local
fun cvc4_options ctxt = [
@@ -136,7 +136,7 @@
(* Z3 *)
-val z3_extensions = Attrib.setup_config_bool @{binding z3_extensions} (K false)
+val z3_extensions = Attrib.setup_config_bool \<^binding>\<open>z3_extensions\<close> (K false)
local
fun z3_options ctxt =