diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-18 18:58:40 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-18 18:58:40 -0700 |
| commit | 8a0df70ffb8d57d1bd210ce2e1c9522ba0967365 (patch) | |
| tree | 3ac2809b04db9cafb22dcab4c69cfd878e074487 /Source/Dafny/DafnyPipeline.csproj | |
| parent | 4ce6e734a389716fecaf152781702fafa42f2670 (diff) | |
Refactor the error reporting code
The new error reporting system has a simpler interface, isn't tied to the
resolver, and contains error source information.
Diffstat (limited to 'Source/Dafny/DafnyPipeline.csproj')
| -rw-r--r-- | Source/Dafny/DafnyPipeline.csproj | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Source/Dafny/DafnyPipeline.csproj b/Source/Dafny/DafnyPipeline.csproj index a1452b8a..626bb26a 100644 --- a/Source/Dafny/DafnyPipeline.csproj +++ b/Source/Dafny/DafnyPipeline.csproj @@ -1,4 +1,4 @@ -<?xml version="1.0" encoding="utf-8"?>
+<?xml version="1.0" encoding="utf-8"?>
<Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
<PropertyGroup>
<Configuration Condition=" '$(Configuration)' == '' ">Debug</Configuration>
@@ -8,7 +8,7 @@ <ProjectGuid>{FE44674A-1633-4917-99F4-57635E6FA740}</ProjectGuid>
<OutputType>Library</OutputType>
<AppDesignerFolder>Properties</AppDesignerFolder>
- <RootNamespace>DafnyPipeline</RootNamespace>
+ <RootNamespace>Microsoft.Dafny</RootNamespace>
<AssemblyName>DafnyPipeline</AssemblyName>
<TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
<FileAlignment>512</FileAlignment>
@@ -143,6 +143,7 @@ </ItemGroup>
<ItemGroup>
<Compile Include="Cloner.cs" />
+ <Compile Include="Reporting.cs" />
<Compile Include="TriggerGenerator.cs" />
<Compile Include="Util.cs" />
<Compile Include="Compiler.cs" />
@@ -193,4 +194,4 @@ <Target Name="AfterBuild">
</Target>
-->
-</Project>
\ No newline at end of file +</Project>
|