From 78b837a3f09bee85dcf4131b6f11138ab8144a4d Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 31 Jul 2017 16:35:03 +0100
Subject: Fixed a bug in the pretty printer that caused ASL parser to output
 unparseable sail code

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

(limited to 'src')

diff --git a/src/pretty_print_sail.ml b/src/pretty_print_sail.ml
index e3aeaa40..aff3a976 100644
--- a/src/pretty_print_sail.ml
+++ b/src/pretty_print_sail.ml
@@ -282,7 +282,7 @@ let doc_exp, doc_let =
       let cases = separate_map (break 1) doc_case pexps in
       surround 2 1 opening cases rbrace
   | E_sizeof n ->
-     separate space [string "sizeof"; doc_nexp n]
+     parens (separate space [string "sizeof"; doc_nexp n])
   | E_constraint nc ->
      string "constraint" ^^ parens (doc_nexp_constraint nc)
   | E_exit e ->
-- 
cgit v1.2.3