Skip to content

Commit 5ebc460

Browse files
authored
Add "preEnumerateTheories": false (#2360)
1 parent 08f6d73 commit 5ebc460

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed
+2-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
{
22
"shadowCopy": false,
33
"methodDisplay": "method",
4-
"diagnosticMessages": true
4+
"diagnosticMessages": true,
5+
"preEnumerateTheories": false
56
}

0 commit comments

Comments
 (0)