diff options
| author | Pierre-Marie Pédrot | 2018-06-23 14:24:19 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-06-23 14:24:19 +0200 |
| commit | fd2b270a8be038f50b57d9e76a532dcf2222fd0b (patch) | |
| tree | 7356bd9f217da9425221a00c4a458f0619ce1916 | |
| parent | eba6d1ffe7a3aa775e6a4984914461364149573f (diff) | |
Fix for compilation with the camlp5-parser branch.
| -rw-r--r-- | src/tac2core.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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 |