diff options
| author |  Jason Koenig <unknown> | 2012-06-28 16:38:27 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-06-28 16:38:27 -0700 |
| commit | 94b721bde2ce1f1702c9b9f4fef1554e11f9d313 (patch) | |
| tree | 1cb72f5b91398c1d127734d01cf74114bcd753bd /Test/dafny0/Refinement.dfy | |
| parent | cd498c42f796d5e1cd7d5afd57da1310232e4c4c (diff) | |
Dafny: fixed some test cases
Diffstat (limited to 'Test/dafny0/Refinement.dfy')
| -rw-r--r-- | Test/dafny0/Refinement.dfy | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Test/dafny0/Refinement.dfy b/Test/dafny0/Refinement.dfy index da7f0ac2..2c2fc52b 100644 --- a/Test/dafny0/Refinement.dfy +++ b/Test/dafny0/Refinement.dfy @@ -155,10 +155,11 @@ module Concrete refines Abstract { } } -module Client imports Concrete { +module Client { + module C = Concrete; class TheClient { method Main() { - var n := new MyNumber.Init(); + var n := new C.MyNumber.Init(); n.Inc(); n.Inc(); var k := n.Get(); |