From 3fbba861d5355cad92cac52965c8e76a35825c7a Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 8 Aug 2017 14:21:11 +0200
Subject: Another batch of primitive operations.

---
 src/tac2core.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/tac2core.ml')

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)
-- 
cgit v1.2.3