X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fexpressions%2Fgenerate.py;h=50e1f4d1c9518d5e41c1a8f5fe8a22dfbe890e41;hb=435b06ea1e6cefd2d540552e161a84a9b2cbef42;hp=d700c46fff06bdbcee598a721fb4462178bd83ea;hpb=f7cc11e1ec082a3f38c3323cd5dbbe319b9a6229;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: