dfyconfig

dafny-lang · Oct 5, 2023 · e5617d4 · e5617d4
1 parent 0ad3237
commit e5617d4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dfyconfig.toml b/dfyconfig.toml
@@ -1,4 +1,4 @@
-includes = ["src/**/*.dfy", "tests/*.dfy", "docs/dafny/*.dfy"]
+includes = ["src/**/*.dfy"]
 excludes = []
 
 [options]