diff --git a/modeq/connect.rml b/modeq/connect.rml
index 830861a2e91..8d9942dcbb2 100644
--- a/modeq/connect.rml
+++ b/modeq/connect.rml
@@ -194,7 +194,7 @@ end
 
 relation find_in_set_equ : (Exp.ComponentRef list, Exp.ComponentRef) => () =
 
-  rule	StaticExp.eq_cref(c1,c2)
+  rule	Static.eq_cref(c1,c2)
 	------------------
 	find_in_set_equ(c1::_,c2)
 
@@ -207,7 +207,7 @@ end
 relation find_in_set_flow : ((Exp.ComponentRef * Face) list, Exp.ComponentRef)
 	  => () =
 
-  rule	StaticExp.eq_cref(c1,c2)
+  rule	Static.eq_cref(c1,c2)
 	------------------
 	find_in_set_flow((c1,_)::_,c2)