Skip to content

Commit 4edf86f

Browse files
revert preenumeration rule
1 parent 0cc178d commit 4edf86f

File tree

1 file changed

+1
-2
lines changed

1 file changed

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

0 commit comments

Comments
 (0)