Fixes and cleanups in AST_TECALL handling
authorClifford Wolf <clifford@clifford.at>
Fri, 7 Jun 2019 10:41:09 +0000 (12:41 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 7 Jun 2019 10:41:09 +0000 (12:41 +0200)
commit211d85cfcc1ae701bb9392347bcbb9750e3045b0
treeba04c46a5db3cf2f41ca6545d1f6e930b354369c
parenta3bbc5365bc8ed411ab437a6baea5596531933a8
Fixes and cleanups in AST_TECALL handling

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/ast/ast.h
frontends/ast/genrtlil.cc
frontends/ast/simplify.cc
kernel/log.cc