fixing bug in the eval of float-to-int casts

Author: kmemarian

frontend/model/core_eval.lem

@@ -578,7 +578,7 @@ let rec step_eval_pexpr n loc core_extern env mem_st_opt file hasConstrained pex
 
           | (Cfvfromint, Just [Vobject (OVinteger ival)]) ->
               EU.return $ PEval (Vobject (OVfloating (Mem.fvfromint ival)))
-          | (Civfromfloat, Just [Vctype (Ctype.Ctype [] (Ctype.Basic (Ctype.Integer ity))); Vobject (OVfloating fval)]) ->
+          | (Civfromfloat, Just [Vctype (Ctype.Ctype _ (Ctype.Basic (Ctype.Integer ity))); Vobject (OVfloating fval)]) ->
               EU.return $ PEval (Vobject (OVinteger (Mem.ivfromfloat ity fval)))
 
           | (_, Just cvals) ->