summaryrefslogtreecommitdiff
path: root/DafnyDriver
diff options
context:
space:
mode:
authorGravatar qadeer <unknown>2010-11-28 17:35:34 +0000
committerGravatar qadeer <unknown>2010-11-28 17:35:34 +0000
commitd14c2f47bcb0d1fbc583c6255310919d45247264 (patch)
treef1b75cbf590f9f27715823b91aee6de22bff064d /DafnyDriver
parenta5512994d583558de5ea83c034a07dda6ac4cbd4 (diff)
forgot to check this file in
Diffstat (limited to 'DafnyDriver')
-rw-r--r--DafnyDriver/app.config3
1 files changed, 3 insertions, 0 deletions
diff --git a/DafnyDriver/app.config b/DafnyDriver/app.config
new file mode 100644
index 00000000..cb2586be
--- /dev/null
+++ b/DafnyDriver/app.config
@@ -0,0 +1,3 @@
+<?xml version="1.0"?>
+<configuration>
+<startup><supportedRuntime version="v4.0" sku=".NETFramework,Version=v4.0"/></startup></configuration>