Fix test case that was missing parentheses

dafny-lang · Feb 9, 2024 · 0c8ff0f · 0c8ff0f
1 parent 5f365fa
commit 0c8ff0f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/DafnyLanguageServer.Test/Lookup/WorkspaceSymbolTest.cs b/Source/DafnyLanguageServer.Test/Lookup/WorkspaceSymbolTest.cs
@@ -65,7 +65,7 @@ method TestMethod() returns (x: int) {
 
 trait TestTrait {}
 
-predicate TestPredicate { false }", "test-workspace-symbols.dfy", false);
+predicate TestPredicate() { false }", "test-workspace-symbols.dfy", false);
 
       await client.OpenDocumentAndWaitAsync(documentItem, CancellationToken);