4 files changed, 4 insertions, 12 deletions
diff --git a/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4 b/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4
index 6e805a9..8bedfb0 100644
--- a/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4
+++ b/mathcomp/ssreflect/plugin/trunk/ssreflect.ml4
@@ -10,10 +10,7 @@ let () = Mltop.add_known_plugin (fun () ->
     Printf.printf "\nSmall Scale Reflection version %s loaded.\n" ssrversion;
     Printf.printf "Copyright 2005-2014 Microsoft Corporation and INRIA.\n";
     Printf.printf "Distributed under the terms of the CeCILL-B license.\n\n"
-  end;
-  (* Disable any semantics associated with bullets *)
-  Goptions.set_string_option_value_gen
-    (Some false) ["Bullet";"Behavior"] "None")
+  end)
   "ssreflect"
 ;;
 
diff --git a/mathcomp/ssreflect/plugin/v8.4/ssreflect.ml4 b/mathcomp/ssreflect/plugin/v8.4/ssreflect.ml4
index 49a5912..1c22477 100644
--- a/mathcomp/ssreflect/plugin/v8.4/ssreflect.ml4
+++ b/mathcomp/ssreflect/plugin/v8.4/ssreflect.ml4
@@ -9,10 +9,7 @@ let () = Mltop.add_known_plugin (fun () ->
     Printf.printf "\nSmall Scale Reflection version %s loaded.\n" ssrversion;
     Printf.printf "Copyright 2005-2012 Microsoft Corporation and INRIA.\n";
     Printf.printf "Distributed under the terms of the CeCILL-B license.\n\n"
-  end;
-  (* Disable any semantics associated with bullets *)
-  Goptions.set_string_option_value_gen
-    (Some false) ["Bullet";"Behavior"] "None")
+  end)
   "ssreflect"
 ;;
 (* Defining grammar rules with "xx" in it automatically declares keywords too *)
diff --git a/mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4 b/mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4
index 72f1949..06c6a6c 100644
--- a/mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4
+++ b/mathcomp/ssreflect/plugin/v8.5/ssreflect.ml4
@@ -10,10 +10,7 @@ let () = Mltop.add_known_plugin (fun () ->
     Printf.printf "\nSmall Scale Reflection version %s loaded.\n" ssrversion;
     Printf.printf "Copyright 2005-2014 Microsoft Corporation and INRIA.\n";
     Printf.printf "Distributed under the terms of the CeCILL-B license.\n\n"
-  end;
-  (* Disable any semantics associated with bullets *)
-  Goptions.set_string_option_value_gen
-    (Some false) ["Bullet";"Behavior"] "None")
+  end)
   "ssreflect"
 ;;
 
diff --git a/mathcomp/ssreflect/ssreflect.v b/mathcomp/ssreflect/ssreflect.v
index 4a3cfc7..1ff82ab 100644
--- a/mathcomp/ssreflect/ssreflect.v
+++ b/mathcomp/ssreflect/ssreflect.v
@@ -51,6 +51,7 @@ Global Set Asymmetric Patterns.
 Set Implicit Arguments.
 Unset Strict Implicit.
 Unset Printing Implicit Defensive.
+Global Set Bullet Behavior "None".
 
 Module SsrSyntax.