diff options
Diffstat (limited to 'plugins/cc/cctac.mli')
| -rw-r--r-- | plugins/cc/cctac.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/cc/cctac.mli b/plugins/cc/cctac.mli index 7cdd46ab4..7ed077bda 100644 --- a/plugins/cc/cctac.mli +++ b/plugins/cc/cctac.mli @@ -8,7 +8,7 @@ (* $Id$ *) -open Term +open Term open Proof_type val proof_tac: Ccproof.proof -> Proof_type.tactic |