Fixed CI job

MikaelMayer · MikaelMayer · commit 2d3649e000c1 · 2024-03-29T16:32:02.000-05:00
diff --git a/docs/OnlineTutorial/guide.20.expect b/docs/OnlineTutorial/guide.20.expect
@@ -1,3 +1,3 @@
-text.dfy(3,44): Error: insufficient reads clause to read array element
+text.dfy(3,44): Error: insufficient reads clause to read array element; Consider adding 'reads a' in the enclosing predicate specification for resolution
 
 Dafny program verifier finished with 0 verified, 1 error

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,3 @@`
`1`		`-text.dfy(3,44): Error: insufficient reads clause to read array element`
	`1`	`+text.dfy(3,44): Error: insufficient reads clause to read array element; Consider adding 'reads a' in the enclosing predicate specification for resolution`
`2`	`2`
`3`	`3`	`Dafny program verifier finished with 0 verified, 1 error`