From 4f31d4d7f0e1c5d77d65fee14f4fb8e149201e73 Mon Sep 17 00:00:00 2001
From: Christopher Pulte
Date: Fri, 24 Mar 2017 11:50:02 +0000
Subject: Print tracking information for V_track, hopefully fix
 extern_vector_value, fix sail_values bug.

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

(limited to 'src/gen_lib')

diff --git a/src/gen_lib/sail_values.lem b/src/gen_lib/sail_values.lem
index e0d60dee..4fded5a1 100644
--- a/src/gen_lib/sail_values.lem
+++ b/src/gen_lib/sail_values.lem
@@ -776,7 +776,7 @@ let rec register_field_indices_aux register rfield =
   | RegisterPair r1 r2 ->
       let m_indices = register_field_indices_aux r1 rfield in
       if isJust m_indices then m_indices else register_field_indices_aux r2 rfield
-  | UndefinedRegister -> Nothing
+  | UndefinedRegister _ -> Nothing
   end
 
 val register_field_indices : register -> register_field -> integer * integer
-- 
cgit v1.2.3