diff --git a/src/api/dotnet/core/DummyContracts.cs b/src/api/dotnet/core/DummyContracts.cs
index 49b498b1a..103cc1288 100644
--- a/src/api/dotnet/core/DummyContracts.cs
+++ b/src/api/dotnet/core/DummyContracts.cs
@@ -62,4 +62,4 @@ namespace System.Diagnostics.Contracts
         public static void EndContractBlock() { }
         public static T ValueAtReturn<T>(out T v) { T[] t = new T[1]; v = t[0]; return v; }
     }
-}
\ No newline at end of file
+}
diff --git a/src/api/dotnet/dotnet35/Example/App.config b/src/api/dotnet/dotnet35/Example/App.config
index 88fa4027b..737ed23f2 100644
--- a/src/api/dotnet/dotnet35/Example/App.config
+++ b/src/api/dotnet/dotnet35/Example/App.config
@@ -3,4 +3,4 @@
     <startup> 
         <supportedRuntime version="v4.0" sku=".NETFramework,Version=v4.5.2" />
     </startup>
-</configuration>
\ No newline at end of file
+</configuration>
diff --git a/src/api/dotnet/dotnet35/Example/Example.csproj b/src/api/dotnet/dotnet35/Example/Example.csproj
index 2b096ed40..842fbac41 100644
--- a/src/api/dotnet/dotnet35/Example/Example.csproj
+++ b/src/api/dotnet/dotnet35/Example/Example.csproj
@@ -75,4 +75,4 @@
   <Target Name="AfterBuild">
   </Target>
   -->
-</Project>
\ No newline at end of file
+</Project>
diff --git a/src/api/dotnet/dotnet35/Microsoft.Z3.NET35.csproj b/src/api/dotnet/dotnet35/Microsoft.Z3.NET35.csproj
index d278b4f1d..15eaac445 100644
--- a/src/api/dotnet/dotnet35/Microsoft.Z3.NET35.csproj
+++ b/src/api/dotnet/dotnet35/Microsoft.Z3.NET35.csproj
@@ -344,4 +344,4 @@
     <None Include="packages.config" />
   </ItemGroup>
   <Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
-</Project>
\ No newline at end of file
+</Project>
diff --git a/src/api/dotnet/dotnet35/packages.config b/src/api/dotnet/dotnet35/packages.config
index daa06aed7..bc9f365bc 100644
--- a/src/api/dotnet/dotnet35/packages.config
+++ b/src/api/dotnet/dotnet35/packages.config
@@ -1,4 +1,4 @@
 <?xml version="1.0" encoding="utf-8"?>
 <packages>
   <package id="Code.Contract" version="1.0.0" targetFramework="net35" />
-</packages>
\ No newline at end of file
+</packages>
diff --git a/src/smt/smt2_extra_cmds.cpp b/src/smt/smt2_extra_cmds.cpp
index 901810442..61b247207 100644
--- a/src/smt/smt2_extra_cmds.cpp
+++ b/src/smt/smt2_extra_cmds.cpp
@@ -44,4 +44,4 @@ public:
 
 void install_smt2_extra_cmds(cmd_context & ctx) {
     ctx.insert(alloc(include_cmd));
-}
\ No newline at end of file
+}