diff options
Diffstat (limited to 'proofs')
| -rw-r--r-- | proofs/logic.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/proofs/logic.ml b/proofs/logic.ml index e80f5a64c7..1ba14e7d43 100644 --- a/proofs/logic.ml +++ b/proofs/logic.ml @@ -13,6 +13,7 @@ open Names open Nameops open Term open Vars +open Context open Termops open Environ open Reductionops |