Close emina#224.

jamestiotio · Apr 2, 2022 · 1d042d1 · 1d042d1
1 parent c2975b9
commit 1d042d1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/rosette/solver/smt/dec.rkt b/rosette/solver/smt/dec.rkt
@@ -116,7 +116,6 @@
         (hash-ref ~env id)]
        [(== true) #t]
        [(== false) #f]
-       [(? integer?) (inexact->exact expr)]
        [(? real?) expr]
        [(? symbol?)
         (cond