title: Dafny 3.0 C# dll library problem from 3.0 to 3.2
body: <p>The problem I have is the following: we have a series of functions, methods and datatypes in Dafny and with it we generate a c# dll library. In order to make use of those libraries, we have added them as a reference to a visual studio c# console application project.</p>
  <p><a href="https://i.stack.imgur.com/b5Hc6.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/b5Hc6.png" alt="Using Dll generated from Dafny 3.0 " /></a></p>
  <p>The problem I have is that these libraries refer to a dependency to System.Private.CoreLib. The only place I have found this library is in the source code of dafny. By adding it as a reference, it becomes &quot;incompatible&quot; with all System.* libraries imported by default in c#. This makes it unable to create a class, method etc. Attached are screenshots of the problems I just mentioned.</p>
  <p><a href="https://i.stack.imgur.com/G8Xzm.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/G8Xzm.png" alt="Adding reference to System.Private.CoreLib" /></a></p>
  <p>Finally, if I compile these libraries with Dafny 2.0 (deprecated), I don't have this problem, but I would like to work with the latest version of dafny.</p>
  <p>Thank you in advanced.</p>