handle real values when deriving ast modules
authorJakob Wenzel <wenzel@rs.tu-darmstadt.de>
Mon, 19 Aug 2019 12:17:36 +0000 (14:17 +0200)
committerJakob Wenzel <wenzel@rs.tu-darmstadt.de>
Mon, 19 Aug 2019 12:17:36 +0000 (14:17 +0200)
commit24971fda87e66af528aeeffab841a64fc960410a
treef7d6e4bdfa65c7ad6f3ffd15b91a8807dd347b11
parent4adcbecec5c6bfcdd3ed1d6ed753d3a7670e3eea
handle real values when deriving ast modules
frontends/ast/ast.cc