diff options
Diffstat (limited to 'Jennisys/DafnyPrinter.fs')
| -rw-r--r-- | Jennisys/DafnyPrinter.fs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Jennisys/DafnyPrinter.fs b/Jennisys/DafnyPrinter.fs index fb9f3bf7..bf63f453 100644 --- a/Jennisys/DafnyPrinter.fs +++ b/Jennisys/DafnyPrinter.fs @@ -14,7 +14,8 @@ let rec PrintType ty = let rec PrintExpr ctx expr = match expr with - | IntLiteral(n) -> sprintf "%O" n + | IntLiteral(n) -> sprintf "%d" n + | BoolLiteral(b) -> sprintf "%b" b | IdLiteral(id) -> id | Star -> assert false; "" // I hope this won't happen | Dot(e,id) -> sprintf "%s.%s" (PrintExpr 100 e) id |