From fd2b270a8be038f50b57d9e76a532dcf2222fd0b Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 23 Jun 2018 14:24:19 +0200
Subject: Fix for compilation with the camlp5-parser branch.

---
 src/tac2core.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/tac2core.ml b/src/tac2core.ml
index 97f25ef5ed..13265ee080 100644
--- a/src/tac2core.ml
+++ b/src/tac2core.ml
@@ -1127,12 +1127,12 @@ end
 let () = add_scope "tactic" begin function
 | [] ->
   (** Default to level 5 parsing *)
-  let scope = Extend.Aentryl (tac2expr, 5) in
+  let scope = Extend.Aentryl (tac2expr, "5") in
   let act tac = tac in
   Tac2entries.ScopeRule (scope, act)
 | [SexprInt {loc;v=n}] as arg ->
   let () = if n < 0 || n > 6 then scope_fail "tactic" arg in
-  let scope = Extend.Aentryl (tac2expr, n) in
+  let scope = Extend.Aentryl (tac2expr, string_of_int n) in
   let act tac = tac in
   Tac2entries.ScopeRule (scope, act)
 | arg -> scope_fail "tactic" arg
-- 
cgit v1.2.3