From 0d5050849fb5fe6d0f20bf637ff919ba88dbe1bb Mon Sep 17 00:00:00 2001 From: Raphael Roberts Date: Thu, 6 May 2021 18:10:43 -0500 Subject: [PATCH] Comment --- c2logic/compiler.py | 1 + 1 file changed, 1 insertion(+) diff --git a/c2logic/compiler.py b/c2logic/compiler.py index 23767a0..91ba58f 100644 --- a/c2logic/compiler.py +++ b/c2logic/compiler.py @@ -461,6 +461,7 @@ class Compiler(c_ast.NodeVisitor): elif name == "radar": argnames = [] for i, arg in enumerate(args): + # don't visit constants if 1 <= i <= 4: if not isinstance(arg, Constant) or arg.type != "string": raise TypeError("Non-string argument to radar", node)