Improved l-expressions

- Fixed a bug where some l-expressions which wrote registers wern't
picking up register writes.

- Can now write to registers with record types. e.g. ARM's ProcState
record from ASL.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/pretty_print_sail.ml b/src/pretty_print_sail.ml
index e410eb4b..e6162a68 100644
--- a/src/pretty_print_sail.ml
+++ b/src/pretty_print_sail.ml
@@ -81,7 +81,7 @@ let doc_qi (QI_aux(qi,_)) = match qi with
 (* typ_doc is the doc for the type being quantified *)
 let doc_typquant (TypQ_aux(tq,_)) typ_doc = match tq with
   | TypQ_no_forall -> typ_doc
-  | TypQ_tq [] -> failwith "TypQ_tq with empty list"
+  | TypQ_tq [] -> typ_doc
   | TypQ_tq qlist ->
     (* include trailing break because the caller doesn't know if tq is empty *)
     doc_op dot