diff options
Diffstat (limited to 'contrib/subtac/infer.ml')
| -rw-r--r-- | contrib/subtac/infer.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/subtac/infer.ml b/contrib/subtac/infer.ml index 876dc68bb..987fbedda 100644 --- a/contrib/subtac/infer.ml +++ b/contrib/subtac/infer.ml @@ -6,7 +6,7 @@ open Util open Sast open Scoq open Pp -open Ppconstrnew +open Ppconstr let ($) f g = fun x -> f (g x) |