From bce27b5e28f688dc14f04dcf387b9f83c790b1f5 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 23 Jul 2019 18:15:39 +0200
Subject: [PATCH] [gui] restore compilation in OCaml >= 4.07
fix post-!2318
---
src/plugins/gui/property_navigator.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/gui/property_navigator.ml b/src/plugins/gui/property_navigator.ml
index 8be6e60977e..cd92474f939 100644
--- a/src/plugins/gui/property_navigator.ml
+++ b/src/plugins/gui/property_navigator.ml
@@ -775,7 +775,7 @@ let highlighter (buffer:reactive_buffer) localizable ~start ~stop =
'Unknown'. *)
let filter (ip_src, _ip_copy) =
match ip_src with
- | Property.IPPredicate {Property.ip_kind=PKRequires bhv} ->
+ | Property.IPPredicate {Property.ip_kind=Property.PKRequires bhv} ->
bhv.b_assumes = []
| _ -> false
in
--
GitLab