Test/dafny0/ExternHelloLibrary.cs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// Note that  ExternHelloLibrary.dll was produced from this file using
// csc /t:library ExternHelloLibrary.cs 

using System;

namespace ExternHelloLibrary
{
  public static class ExternHelloLibrary
  {
    public static void SayHello()
    {
      Console.WriteLine("Hello from ExternHelloLibrary.");
    }
  }
}