Commits

Iago Abal committed 68d0534

Remove trailing spaces

  • Participants
  • Parent commits d8d3364

Comments (0)

Files changed (1)

File Z3/Lang/Prelude.hs

   tc = tcInteger
   fromZ3Type = id
   toZ3Type = id
-  
+
   mkSort   _ = mkIntSort
   getValue   = getInt
   mkLiteral  = mkInt
   tc = tcRational
   fromZ3Type = id
   toZ3Type = id
-  
+
   mkSort _ = mkRealSort
   getValue   = getReal
   mkLiteral  = mkReal