diff options
| author | Kathy Gray | 2015-05-05 11:57:13 -0400 |
|---|---|---|
| committer | Kathy Gray | 2015-05-05 11:57:13 -0400 |
| commit | 6edab5a5943bfc04052eb12246096da82235b347 (patch) | |
| tree | a1bad7cbd95addd709637c64aadd4f251c3a9cf5 | |
| parent | 02ca6ae342e037918415f669860d50a6dce9670a (diff) | |
allow undefined in mask for size
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index 4b9cd8b4..2790aee7 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -582,6 +582,7 @@ let mask direction (V_tuple [vsize;v]) = retaint v (match (detaint v,detaint vsi let nat_n = natFromInteger n in let start_num = if is_inc(direction) then 0 else nat_n -1 in V_vector start_num direction (List.replicate nat_n V_unknown) + | (_,V_unknown) -> V_unknown end) let library_functions direction = [ |