diff options
Diffstat (limited to 'src/includes/nodeshandling.inc')
| -rw-r--r-- | src/includes/nodeshandling.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/includes/nodeshandling.inc b/src/includes/nodeshandling.inc index 0d7b78c..f39f4fb 100644 --- a/src/includes/nodeshandling.inc +++ b/src/includes/nodeshandling.inc @@ -54,3 +54,4 @@ handleNodeType(SIZEOF_EXPR, SizeOfExpr) handleNodeType(ERROR_MARK, ErrorMark) handleNodeType(REAL_TYPE, RealType) handleNodeType(CONSTRUCTOR, Constructor) +handleNodeType(REAL_CST, RealCst) |