update testcase

rems-project · Jul 29, 2024 · 2f18442 · 2f18442
1 parent aeb3ce1
commit 2f18442
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/pattern_completeness/mapping_let.sail → test/pattern_completeness/mapping.sail b/test/pattern_completeness/mapping_let.sail → test/pattern_completeness/mapping.sail
@@ -7,4 +7,4 @@ mapping m : bool <-> bool2 = {
    false <->  struct{ field = false },
 }
 
-let a = m(true)
+let foo = m(true)