diff --git a/c2logic/compiler.py b/c2logic/compiler.py index 51a699d..23767a0 100644 --- a/c2logic/compiler.py +++ b/c2logic/compiler.py @@ -325,7 +325,7 @@ class Compiler(c_ast.NodeVisitor): varname = node.name if varname not in self.functions: varname = self.get_varname(varname) - if varname in ("links", "ipt", "counter", "time"): + if varname in ("links", "ipt", "counter", "time", "unit"): varname = "@" + varname self.push(Set("__rax", varname))