rename isNoInit => hasInit

kframework · Mar 13, 2020 · ae26c4c · ae26c4c
1 parent f74acbf
commit ae26c4c
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/semantics/cpp/language/translation/decl/initializer.k b/semantics/cpp/language/translation/decl/initializer.k
@@ -326,13 +326,13 @@ module CPP-TRANSLATION-DECL-INITIALIZER
 
      syntax Bool ::= hasInit(CId, Map) [function]
 
-     rule hasInit(X:CId, X |-> M::Map _) => notBool isNoInit(M)
+     rule hasInit(X:CId, X |-> M::Map _) => notBool hasNoInit(M)
 
-     syntax Bool ::= isNoInit(Map) [function]
+     syntax Bool ::= hasNoInit(Map) [function]
 
-     rule isNoInit(_ |-> (_, NoInit())) => true
+     rule hasNoInit(_ |-> (_, NoInit())) => true
 
-     rule isNoInit(_ |-> _) => false [owise]
+     rule hasNoInit(_ |-> _) => false [owise]
 
      syntax Expr ::= classAggInit(base: LVal, fields: List, initList: List, initializers: Map, class: Class, initExp: K, ctype: ConstructorType, duration: Duration)