From f8cac1f866909aa8e7a81e22b58a34f1ce4268a2 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 18 Nov 2014 18:34:28 +0000
Subject: wib

---
 src/lem_interp/printing_functions.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml
index 83a0e7f1..3b98e04e 100644
--- a/src/lem_interp/printing_functions.ml
+++ b/src/lem_interp/printing_functions.ml
@@ -125,6 +125,7 @@ let rec val_to_string_internal ((Interp.LMem (_,memory)) as mem) = function
        with Failure _ ->
          sprintf "[%s]" (String.concat "; " (List.map (val_to_string_internal mem) l)) in
      sprintf "%s [%s..%s]" repr (string_of_big_int first_index) (string_of_big_int last_index)
+ | Interp.V_vector_sparse(first_index,last_index,inc,l,default) -> "sparse_vector: Didn't think this could happen"
  | Interp.V_record(_, l) ->
      let pp (id, value) = sprintf "%s = %s" (id_to_string id) (val_to_string_internal mem value) in
      let repr = String.concat "; " (List.map  pp l) in
-- 
cgit v1.2.3