From aa47fbc9c1be71d9225d162c5a298f8207f70243 Mon Sep 17 00:00:00 2001 From: wellenvogel Date: Sat, 20 Nov 2021 22:32:15 +0100 Subject: [PATCH] correct error in build script --- extra_script.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extra_script.py b/extra_script.py index d490eb2..cb0f57d 100644 --- a/extra_script.py +++ b/extra_script.py @@ -138,7 +138,7 @@ def generateXdrMappings(): first=False else: oh.write(",\n") - oh.write(" new GwXDRTypeMapping(%d,%d,%d) /*%s:%s*/"%(cid,tc,cat,id,l)) + oh.write(" new GwXDRTypeMapping(%d,%d,%d) /*%s:%s*/"%(cid,tc,id,cat,l)) oh.write("\n") oh.write("};\n") except Exception as e: