Update expected output

mtzguido · Feb 1, 2024 · 8e7e457 · 8e7e457
1 parent b2c3cc0
commit 8e7e457
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/ide/emacs/search.cons-snoc.out.expected b/tests/ide/emacs/search.cons-snoc.out.expected
@@ -1,4 +1,4 @@
 {"kind": "protocol-info", "rest": "[...]"}
 {"kind": "response", "query-id": "1", "response": [], "status": "success"}
-{"contents": "* Error 147 at FStar.Seq.Properties.fsti(774,0-776,62):\n  - Effect template STATE_h should be applied to arguments for its binders ((heap: Type)) before it can be used at an effect position\n  - See also <input>(1,0-1,0)\n\n", "kind": "message", "level": "error", "query-id": "2"}
+{"contents": "* Error 147 at FStar.Seq.Properties.fsti(760,0-762,62):\n  - Effect template STATE_h should be applied to arguments for its binders ((heap: Type)) before it can be used at an effect position\n  - See also <input>(1,0-1,0)\n\n", "kind": "message", "level": "error", "query-id": "2"}
 {"contents": "1 error was reported (see above)\n", "kind": "message", "level": "error", "query-id": "2"}