tiny tweak

viperproject · Nov 5, 2023 · 7738270 · 7738270
1 parent d8e7958
commit 7738270
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -100,3 +100,4 @@ target
 *.gobrafied
 *.internal
 .devcontainer
+.metals
diff --git a/router/dataplane_spec.gobra b/router/dataplane_spec.gobra
@@ -149,7 +149,7 @@ pred hideLocalIA(p *addr.IA) {
 }
 
 pred (err scmpError) ErrorMem() {
-	err.Cause != nil && err.Cause.ErrorMem()
+	err.Cause != nil ==> err.Cause.ErrorMem()
 }
 
 scmpError implements error