Fix gold

LeventErkok · Jan 5, 2024 · 5d61635 · 5d61635
1 parent 988e447
commit 5d61635
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/SBVTestSuite/GoldFiles/query_uisatex3.gold b/SBVTestSuite/GoldFiles/query_uisatex3.gold
@@ -37,5 +37,5 @@
 *** Exit code: ExitSuccess
 
  FINAL:
-"y x = 3 * x"
+("y x = 3 * x",(True,Just ["x"],EApp [ECon "lambda",EApp [EApp [ECon "x!1",ECon "Int"]],EApp [ECon "*",ENum (3,Nothing),ECon "x!1"]]))
 DONE!