diff options
Diffstat (limited to 'contrib/omega/coq_omega.ml')
| -rw-r--r-- | contrib/omega/coq_omega.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/omega/coq_omega.ml b/contrib/omega/coq_omega.ml index f57a17f30e..dd9b4b1e3a 100644 --- a/contrib/omega/coq_omega.ml +++ b/contrib/omega/coq_omega.ml @@ -11,7 +11,7 @@ open Util open Pp open Reduction -open Proof_trees +open Proof_type open Ast open Names open Generic |