From c498c8a7f8d448dcefd1692e7562878cc6feb62b Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Wed, 9 May 2018 16:51:17 +0100
Subject: Fix printing of hex strings in Lem

---
 src/gen_lib/sail_values.lem | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem
index 2d9eda9c..5c6dc593 100644
--- a/src/gen_lib/sail_values.lem
+++ b/src/gen_lib/sail_values.lem
@@ -414,6 +414,7 @@ let rec hexstring_of_bits bs = match bs with
      | (Just n, Just s) -> Just (n :: s)
      | _ -> Nothing
      end
+  | [] -> Just []
   | _ -> Nothing
   end
 declare {isabelle} termination_argument hexstring_of_bits = automatic
-- 
cgit v1.2.3