diff --git a/src/plugins/gui/property_navigator.ml b/src/plugins/gui/property_navigator.ml
index 8be6e60977eb4b749d26e68d8d22d41d1eb1149a..cd92474f9398805bfe30989a75317a201cb03ec6 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