diff options
Diffstat (limited to 'src/lem_interp')
| -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 |