diff options
| author | Kathy Gray | 2014-11-18 18:34:28 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-18 18:34:28 +0000 |
| commit | f8cac1f866909aa8e7a81e22b58a34f1ce4268a2 (patch) | |
| tree | a4c8681c74c5f32bb4a355963a7485057a0fcc73 | |
| parent | 4558542a4b7085f49aafcab8808f8721aa930c04 (diff) | |
wib
| -rw-r--r-- | src/lem_interp/printing_functions.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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 |