diff options
| author | Pierre-Marie Pédrot | 2017-08-08 14:21:11 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-08 15:26:11 +0200 |
| commit | 3fbba861d5355cad92cac52965c8e76a35825c7a (patch) | |
| tree | 4d90154704a17a98f822552711fe78c8fe24adb6 /src/tac2core.ml | |
| parent | 3d1092cf7df3229ecc2a4da60a33cf7c6b9be1a3 (diff) | |
Another batch of primitive operations.
Diffstat (limited to 'src/tac2core.ml')
| -rw-r--r-- | src/tac2core.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tac2core.ml b/src/tac2core.ml index 08f61f2c6c..1c03cc410d 100644 --- a/src/tac2core.ml +++ b/src/tac2core.ml @@ -877,7 +877,7 @@ let () = add_scope "tactic" begin function let act tac = tac in Tac2entries.ScopeRule (scope, act) | [SexprInt (loc, n)] -> - let () = if n < 0 || n > 5 then scope_fail () in + let () = if n < 0 || n > 6 then scope_fail () in let scope = Extend.Aentryl (Tac2entries.Pltac.tac2expr, n) in let act tac = tac in Tac2entries.ScopeRule (scope, act) |