diff options
| author | Kathy Gray | 2016-06-03 16:27:16 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-06-03 16:27:16 +0100 |
| commit | a0447910fc93f98897d41b4ee48ccb888cda3113 (patch) | |
| tree | bda61a469d17404f8368345ebfcd9c05839059c1 /src | |
| parent | 33ce6cafbd7254b52fe5c6a2244f57bb6d4e7f42 (diff) | |
turn off debug print statements
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp.lem | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem index f3938453..0abc6220 100644 --- a/src/lem_interp/interp.lem +++ b/src/lem_interp/interp.lem @@ -577,13 +577,13 @@ end val access_vector : value -> nat -> value let access_vector v n = - let _ = debug_print ("access_vector given " ^ string_of_value v ^ " and " ^ show n) in retaint v (match (detaint v) with | V_unknown -> V_unknown | V_lit (L_aux L_undef _) -> v | V_lit (L_aux L_zero _) -> v | V_lit (L_aux L_one _ ) -> v - | V_vector m dir vs -> + | V_vector m dir vs -> + (*let _ = debug_print ("access_vector given " ^ string_of_value v ^ " where dir was " ^ (if is_inc(dir) then "increasing" else "decreaseing") ^ " and start is " ^ show m ^ " and index is " ^ show n ^ "\n") in*) list_nth vs (if is_inc(dir) then (n - m) else (m - n)) | V_vector_sparse _ _ _ vs d -> match (List.lookup n vs) with |