Add a Dafny project file

mit-pdos · Jan 12, 2024 · ded80e6 · ded80e6
1 parent d299983
commit ded80e6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/dfyconfig.toml b/dfyconfig.toml
@@ -0,0 +1 @@
+includes = ["src/**/*.dfy"]