Update scala-smtlib for interpreter fix#241

sankalpgambhir merged 1 commit intoepfl-lara:mainepfl-lara/inox:mainfrom

sankalpgambhir:update-smtlib-interp-fixsankalpgambhir/inox:update-smtlib-interp-fixCopy head branch name to clipboard