diff options
Diffstat (limited to 'proofs/pfedit.ml')
| -rw-r--r-- | proofs/pfedit.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/proofs/pfedit.ml b/proofs/pfedit.ml index 1dfc55973..5d015dbf8 100644 --- a/proofs/pfedit.ml +++ b/proofs/pfedit.ml @@ -23,6 +23,7 @@ open Proof_trees open Proof_type open Lib open Astterm +open Safe_typing (*********************************************************************) (* Managing the proofs state *) |