From cfb8e1bb5fd80b31b3ef1be70283c357f553bd5c Mon Sep 17 00:00:00 2001
From: Catalin Hritcu <catalin.hritcu@gmail.com>
Date: Wed, 18 Apr 2018 18:12:52 +0200
Subject: [PATCH] Switching to F# 4.1

---
 src/basic/basic.fsproj             | 2 +-
 src/extraction/extraction.fsproj   | 2 +-
 src/format/format.fsproj           | 2 +-
 src/fsdoc/fsdoc.fsproj             | 2 +-
 src/fstar/fstar.fsproj             | 2 +-
 src/jsbackend/jsbackend.fsproj     | 2 +-
 src/parser/parser.fsproj           | 2 +-
 src/prettyprint/prettyprint.fsproj | 2 +-
 src/reflection/reflection.fsproj   | 2 +-
 src/smtencoding/smtencoding.fsproj | 2 +-
 src/syntax/syntax.fsproj           | 2 +-
 src/tactics/tactics.fsproj         | 2 +-
 src/tests/tests.fsproj             | 2 +-
 src/tosyntax/tosyntax.fsproj       | 2 +-
 src/typechecker/typechecker.fsproj | 2 +-
 15 files changed, 15 insertions(+), 15 deletions(-)

diff --git a/src/basic/basic.fsproj b/src/basic/basic.fsproj
index 48b06a0cf25..0d1e6d819ee 100644
--- a/src/basic/basic.fsproj
+++ b/src/basic/basic.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>basic</RootNamespace>
     <AssemblyName>basic</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>basic</Name>
     <TargetFrameworkProfile />
     <SolutionDir Condition="$(SolutionDir) == '' Or $(SolutionDir) == '*Undefined*'">..\VS\</SolutionDir>
diff --git a/src/extraction/extraction.fsproj b/src/extraction/extraction.fsproj
index 372f17a014d..7e04f5d8955 100644
--- a/src/extraction/extraction.fsproj
+++ b/src/extraction/extraction.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>extraction</RootNamespace>
     <AssemblyName>extraction</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>extraction</Name>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
diff --git a/src/format/format.fsproj b/src/format/format.fsproj
index 9c0beb39e07..54af9f62e12 100644
--- a/src/format/format.fsproj
+++ b/src/format/format.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>format</RootNamespace>
     <AssemblyName>format</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>format</Name>
     <TargetFrameworkProfile />
   </PropertyGroup>
diff --git a/src/fsdoc/fsdoc.fsproj b/src/fsdoc/fsdoc.fsproj
index 168c89e4846..a360670e5c2 100644
--- a/src/fsdoc/fsdoc.fsproj
+++ b/src/fsdoc/fsdoc.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>fsdoc</RootNamespace>
     <AssemblyName>fsdoc</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>fsdoc</Name>
     <TargetFrameworkProfile />
   </PropertyGroup>
diff --git a/src/fstar/fstar.fsproj b/src/fstar/fstar.fsproj
index cafba0610c0..3098a40db4e 100644
--- a/src/fstar/fstar.fsproj
+++ b/src/fstar/fstar.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>FStar</RootNamespace>
     <AssemblyName>fstar</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>FStar</Name>
     <SolutionDir Condition="$(SolutionDir) == '' Or $(SolutionDir) == '*Undefined*'">..\VS\</SolutionDir>
     <RestorePackages>true</RestorePackages>
diff --git a/src/jsbackend/jsbackend.fsproj b/src/jsbackend/jsbackend.fsproj
index 1308927ac8c..150e692db54 100644
--- a/src/jsbackend/jsbackend.fsproj
+++ b/src/jsbackend/jsbackend.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>jsbackend</RootNamespace>
     <AssemblyName>jsbackend</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>    
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>    
     <Name>jsbackend</Name>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
diff --git a/src/parser/parser.fsproj b/src/parser/parser.fsproj
index c06cf3b3987..dfbe74f44b4 100644
--- a/src/parser/parser.fsproj
+++ b/src/parser/parser.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>parser</RootNamespace>
     <AssemblyName>parser</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>parser</Name>
     <TargetFrameworkProfile />
     <SolutionDir Condition="$(SolutionDir) == '' Or $(SolutionDir) == '*Undefined*'">..\..\VS\</SolutionDir>
diff --git a/src/prettyprint/prettyprint.fsproj b/src/prettyprint/prettyprint.fsproj
index 87ad6992101..80c7216977f 100644
--- a/src/prettyprint/prettyprint.fsproj
+++ b/src/prettyprint/prettyprint.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>prettyprint</RootNamespace>
     <AssemblyName>prettyprint</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
     <Name>prettyprint</Name>
     <TargetFrameworkProfile />
diff --git a/src/reflection/reflection.fsproj b/src/reflection/reflection.fsproj
index 5e74e0d823a..b6a1de07af4 100644
--- a/src/reflection/reflection.fsproj
+++ b/src/reflection/reflection.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>reflection</RootNamespace>
     <AssemblyName>reflection</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
     <Name>reflection</Name>
     <TargetFrameworkProfile />
diff --git a/src/smtencoding/smtencoding.fsproj b/src/smtencoding/smtencoding.fsproj
index a961606e581..3487dbcd5e6 100644
--- a/src/smtencoding/smtencoding.fsproj
+++ b/src/smtencoding/smtencoding.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>smtencoding</RootNamespace>
     <AssemblyName>smtencoding</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
     <Name>smtencoding</Name>
     <TargetFrameworkProfile />
diff --git a/src/syntax/syntax.fsproj b/src/syntax/syntax.fsproj
index b831a842e77..9b24962e625 100644
--- a/src/syntax/syntax.fsproj
+++ b/src/syntax/syntax.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>syntax</RootNamespace>
     <AssemblyName>syntax</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>syntax</Name>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
diff --git a/src/tactics/tactics.fsproj b/src/tactics/tactics.fsproj
index 183ea6142c4..0dcd393afe0 100644
--- a/src/tactics/tactics.fsproj
+++ b/src/tactics/tactics.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>tactics</RootNamespace>
     <AssemblyName>tactics</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
     <Name>tactics</Name>
     <TargetFrameworkProfile />
diff --git a/src/tests/tests.fsproj b/src/tests/tests.fsproj
index b346783bbae..ed1b86e4316 100644
--- a/src/tests/tests.fsproj
+++ b/src/tests/tests.fsproj
@@ -11,7 +11,7 @@
     <AssemblyName>tests</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
     <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>tests</Name>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
diff --git a/src/tosyntax/tosyntax.fsproj b/src/tosyntax/tosyntax.fsproj
index 51536ea2234..4370f3e9111 100644
--- a/src/tosyntax/tosyntax.fsproj
+++ b/src/tosyntax/tosyntax.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>tosyntax</RootNamespace>
     <AssemblyName>tosyntax</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>tosyntax</Name>
     <TargetFrameworkProfile />
     <SolutionDir Condition="$(SolutionDir) == '' Or $(SolutionDir) == '*Undefined*'">..\..\VS\</SolutionDir>
diff --git a/src/typechecker/typechecker.fsproj b/src/typechecker/typechecker.fsproj
index 36a32807b72..5604e020ae5 100644
--- a/src/typechecker/typechecker.fsproj
+++ b/src/typechecker/typechecker.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>typechecker</RootNamespace>
     <AssemblyName>typechecker</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>typechecker</Name>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">