From 329778c4f70c47f582080f7fa2acaca598a3969f Mon Sep 17 00:00:00 2001
From: johnvg
Date: Wed, 19 Aug 2015 10:17:55 +0000
Subject: fix bug in FPrintF call

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2608 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 backendC/CleanCompilerSources/instructions.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/backendC/CleanCompilerSources/instructions.c b/backendC/CleanCompilerSources/instructions.c
index b076f5f..9c79159 100644
--- a/backendC/CleanCompilerSources/instructions.c
+++ b/backendC/CleanCompilerSources/instructions.c
@@ -3139,9 +3139,9 @@ void GenUnboxedConsRecordDescriptor (SymbDef sdef,int tail_strict)
 		FPrintF (OutFile," %d %d ",asize,bsize);
 		GenUnboxedRecordLabelsReversedForRecord (tuple_arguments_state[0]);
 		if (ExportLocalLabels)
-			FPrintF (OutFile,tail_strict ? "\"_Cons#!%s\"" : "\"_Cons#\"",asize,bsize,name);
+			FPrintF (OutFile,tail_strict ? "\"_Cons#!%s\"" : "\"_Cons#\"",name);
 		else
-			FPrintF (OutFile,tail_strict ? "\"[#%s!]\"" : "\"[#%s]\"",asize,bsize,name);
+			FPrintF (OutFile,tail_strict ? "\"[#%s!]\"" : "\"[#%s]\"",name);
 	}
 }
 #endif
-- 
cgit v1.2.3