From aa8fc889a2666e287a1ef3806486f806d7a0bfea Mon Sep 17 00:00:00 2001
From: Christopher Pulte
Date: Mon, 12 Dec 2016 13:37:27 +0000
Subject: pp fix

---
 src/pretty_print.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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 ^^
-- 
cgit v1.2.3