diff options
Diffstat (limited to 'tactics/tactics.ml')
-rw-r--r-- | tactics/tactics.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tactics/tactics.ml b/tactics/tactics.ml index c9247c09e..e7d61a79a 100644 --- a/tactics/tactics.ml +++ b/tactics/tactics.ml @@ -1868,3 +1868,6 @@ let dyn_tclABSTRACT = | [Identifier s; Tac (tac,_)] -> tclABSTRACT (Some s) tac | _ -> invalid_arg "tclABSTRACT") + + + |