X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fexpressions%2Fgenerate.py;h=50e1f4d1c9518d5e41c1a8f5fe8a22dfbe890e41;hb=72c9c6a2f92e94779b2e55d0726568090411871c;hp=d700c46fff06bdbcee598a721fb4462178bd83ea;hpb=15d30a4c251fe810f3697bd287afdc8b1699487d;p=pspp

diff --git a/src/language/expressions/generate.py b/src/language/expressions/generate.py
index d700c46fff..50e1f4d1c9 100644
--- a/src/language/expressions/generate.py
+++ b/src/language/expressions/generate.py
@@ -870,7 +870,8 @@ def generate_optimize_inc():
             type_ = arg.type_
             c_type = type_.c_type
             if arg.idx is None:
-                func = 'get_%s_arg' % type_.atom
+                func = ('get_integer_arg' if type_.name == 'integer'
+                        else 'get_%s_arg' % type_.atom)
                 decls += ['%sarg_%s = %s (node, %s)'
                           % (c_type, name, func, arg_idx)]
             else: