diff options
author | wuestholz <unknown> | 2014-07-31 09:34:32 +0200 |
---|---|---|
committer | wuestholz <unknown> | 2014-07-31 09:34:32 +0200 |
commit | d7fc2974ac1945828c8180d39a7e2a91824b7273 (patch) | |
tree | e3a646aa9fc6eabde699e44b5da8469d1bf53d7e | |
parent | c377658acba5472b6d0c1e1452ce4c4c8f1fc28e (diff) |
Changed test case to not use '/doNotUseParallelism' anymore.
-rw-r--r-- | Test/dafny4/NumberRepresentations.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny4/NumberRepresentations.dfy b/Test/dafny4/NumberRepresentations.dfy index 3096616f..4269d24d 100644 --- a/Test/dafny4/NumberRepresentations.dfy +++ b/Test/dafny4/NumberRepresentations.dfy @@ -1,4 +1,4 @@ -// RUN: %dafny /compile:0 /dprint:"%t.dprint" /doNotUseParallelism "%s" > "%t"
+// RUN: %dafny /compile:0 /dprint:"%t.dprint" "%s" > "%t"
// RUN: %diff "%s.expect" "%t"
// We consider a number representation that consists of a sequence of digits. The least
|