diff options
Diffstat (limited to 'Source/DafnyDriver/app.config')
-rw-r--r-- | Source/DafnyDriver/app.config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/DafnyDriver/app.config b/Source/DafnyDriver/app.config index cb2586be..f76deb94 100644 --- a/Source/DafnyDriver/app.config +++ b/Source/DafnyDriver/app.config @@ -1,3 +1,3 @@ <?xml version="1.0"?>
<configuration>
-<startup><supportedRuntime version="v4.0" sku=".NETFramework,Version=v4.0"/></startup></configuration>
+<startup><supportedRuntime version="v4.0" sku=".NETFramework,Version=v4.0,Profile=Client"/></startup></configuration>
|