diff options
| author | Kathy Gray | 2014-12-10 18:52:11 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-12-10 18:52:11 +0000 |
| commit | 520dbdbdd956eafc3d085c99066738e840d08b7e (patch) | |
| tree | 91d8f83e2a439ecb9f3a05371b7d172986302bc7 /src | |
| parent | cc64dfb5a6c63648e960ed7cb433398f5a625583 (diff) | |
Fix fromJust of Nothing error in multiplication
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp_lib.lem | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/lem_interp/interp_lib.lem b/src/lem_interp/interp_lib.lem index 7e573308..7e86ae7e 100644 --- a/src/lem_interp/interp_lib.lem +++ b/src/lem_interp/interp_lib.lem @@ -180,6 +180,8 @@ let to_num signed v = | (V_vector idx inc l) -> if has_unknown v then V_unknown + else if l=[] + then V_unknown else (* Word library in Lem expects bitseq with LSB first *) let l = reverse l in |