Small fixes.

microsoft · Apr 11, 2024 · 8a5fdcf · 8a5fdcf
1 parent 5e5a1b0
commit 8a5fdcf
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 2 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -11,7 +11,7 @@ set(TRIESTE_BUILD_SAMPLES OFF)
 FetchContent_Declare(
   trieste
   GIT_REPOSITORY https://github.com/microsoft/trieste
-  GIT_TAG 61678d80ffd239e23338ef9d002f2eef9badce67
+  GIT_TAG 1e1448ca9e4ac158492bf8dbbd86b407c452fc0c
   GIT_SHALLOW FALSE
 )
 

diff --git a/testsuite/verona_nostdlib/spec/comments_broken_nest_out/ast b/testsuite/verona_nostdlib/spec/comments_broken_nest_out/ast
@@ -0,0 +1,9 @@
+Verona
+parse
+(top
+  {}
+  (file
+    (group
+      (error
+        (errormsg 33:Unterminated comment starting at )
+        (errorast)))))
diff --git a/testsuite/verona_nostdlib/spec/comments_broken_nest_out/stdout.txt b/testsuite/verona_nostdlib/spec/comments_broken_nest_out/stdout.txt
@@ -4,5 +4,5 @@ Unterminated comment starting at
 /* Nested comments /* like this work */
 ~~
 
-Pass parse failed with 1 errors
+Pass parse failed with 1 error!