diff options
| author | Christopher Pulte | 2016-12-12 13:37:27 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2016-12-12 13:37:27 +0000 |
| commit | aa8fc889a2666e287a1ef3806486f806d7a0bfea (patch) | |
| tree | 5585b9733ba46194d2ef0a2c1464c24a0a572951 | |
| parent | 6086e03428b177d189ff7a7e0f793e9783ab47af (diff) | |
pp fix
| -rw-r--r-- | src/pretty_print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index e7cf1e99..f2d60d6e 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -2982,7 +2982,7 @@ let doc_typdef_lem regtypes (TD_aux(td,_)) = match td with (string "Register_field" ^^ space ^^ string_lit(doc_id_lem id)) in*) let dir_b = i1 < i2 in let dir = string (if dir_b then "true" else "false") in - let size = if dir_b then i2-i1 +1 else i1-i2 in + let size = if dir_b then i2-i1 +1 else i1-i2 + 1 in (doc_op equals) (concat [string "let";space;string "build_";doc_id_lem id;space;string "regname"]) (string "Register" ^^ space ^^ |