diff options
Diffstat (limited to 'spartan/core/context_tactical.ML')
| -rw-r--r-- | spartan/core/context_tactical.ML | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spartan/core/context_tactical.ML b/spartan/core/context_tactical.ML index 0aa6f20..d0fed61 100644 --- a/spartan/core/context_tactical.ML +++ b/spartan/core/context_tactical.ML @@ -92,7 +92,7 @@ fun CREPEAT ctac = fun CREPEAT1 ctac = ctac CTHEN CREPEAT ctac -fun CREPEAT_N 0 _ = all_ctac +fun CREPEAT_N 0 _ = no_ctac | CREPEAT_N n ctac = ctac CTHEN CREPEAT_N (n - 1) ctac fun CFILTER pred ctac cst = |