Tweaks

kframework · Sep 24, 2019 · e646f0c · e646f0c
1 parent 598c257
commit e646f0c
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 6 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -5,14 +5,14 @@ def img
 def PRIVATE_REGISTRY = "https://10.0.0.21:5201"
 
 pipeline {
-  agent none 
+  agent none
   options {
     ansiColor('xterm')
   }
   stages {
     stage ( 'Pull Request' ) {
       agent any
-      when { 
+      when {
         changeRequest()
         beforeAgent true
       }

diff --git a/semantics/cpp/language/translation/decl/initializer.k b/semantics/cpp/language/translation/decl/initializer.k
@@ -326,13 +326,15 @@ 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) _) => #hasInit(M)
 
-     syntax Bool ::= isNoInit(Map) [function]
+     rule hasInit(_, _) => false [owise]
 
-     rule isNoInit(_ |-> (_, NoInit())) => true
+     syntax Bool ::= #hasInit(Map) [function]
 
-     rule isNoInit(_ |-> _) => false [owise]
+     rule #hasInit(_ |-> (_, NoInit())) => false
+
+     rule #hasInit(_) => true [owise]
 
      syntax Expr ::= classAggInit(base: LVal, fields: List, initList: List, initializers: Map, class: Class, initExp: K, ctype: ConstructorType, duration: Duration)