<?xml version="1.0" encoding="utf-8"?>
<Project Sdk="Microsoft.NET.Sdk">

    <PropertyGroup>
        <TargetFramework>netstandard2.0</TargetFramework>
    </PropertyGroup>

    <ItemGroup>
        <Reference Include="DafnyRuntime">
            <HintPath>..\..\..\..\..\..\..\DafnyRuntime.dll</HintPath>
        </Reference>
    </ItemGroup>

</Project>