Fixing compilation with old versions of CAMLP5.

1 files changed, 2 insertions, 1 deletions

diff --git a/parsing/g_ltac.ml4 b/parsing/g_ltac.ml4
index 79392195fb..d1992c57bb 100644
--- a/parsing/g_ltac.ml4
+++ b/parsing/g_ltac.ml4
@@ -310,10 +310,11 @@ open Stdarg
 open Constrarg
 open Vernacexpr
 open Vernac_classifier
+open Goptions
 
 let print_info_trace = ref None
 
-let _ = let open Goptions in declare_int_option {
+let _ = declare_int_option {
   optsync = true;
   optdepr = false;
   optname = "print info trace";