issue #1 binaries conversion

This commit is contained in:
Louis 2015-02-23 09:43:07 +01:00
parent 8028793436
commit 4b0136eb37

View file

@ -33,5 +33,5 @@ void btor()
MIN_ARGUMENTS(1);
ARG_MUST_BE_OF_TYPE(0, cmd_binary);
putf((float_t)((binary*)_stack->back())->_value);
putf((floating_t)getb());
}