diff options
Diffstat (limited to 'proofs/tacmach.ml')
| -rw-r--r-- | proofs/tacmach.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/proofs/tacmach.ml b/proofs/tacmach.ml index 481a3a616e..4df69a0cdd 100644 --- a/proofs/tacmach.ml +++ b/proofs/tacmach.ml @@ -206,8 +206,10 @@ let tclTHENLIST = tclTHENLIST let tclTHEN_i = tclTHEN_i let tclTHENL = tclTHENL let tclTHENS = tclTHENS +let tclTHENST = tclTHENST let tclTHENSI = tclTHENSI let tclREPEAT = tclREPEAT +let tclREPEAT_MAIN = tclREPEAT_MAIN let tclFIRST = tclFIRST let tclSOLVE = tclSOLVE let tclTRY = tclTRY |