diff options
Diffstat (limited to 'proofs/proof.ml')
| -rw-r--r-- | proofs/proof.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/proofs/proof.ml b/proofs/proof.ml index a421ccd0b..71afae020 100644 --- a/proofs/proof.ml +++ b/proofs/proof.ml @@ -29,8 +29,6 @@ Therefore the undo stack stores action to be ran to undo. *) -open Term - type _focus_kind = int type 'a focus_kind = _focus_kind type focus_info = Obj.t |