Fix DEFINT-DECODER #6

Merged
PuercoPop merged 1 commit from fix-defint-decoder-bug into master 2019-05-02 06:48:46 +00:00

1 commit

Author SHA1 Message Date
Javier Olaechea
012df52daf DEFINT-DECODER: Add missing unquote
Otherwise we return the unbound symbol INT instead of the value of the
we built in the decoder.

Fixes bug introduced in 9facf44.
2019-05-01 23:34:42 -05:00