From 95f1a20e0e9569a892ca4dec6573241dc643a1d2 Mon Sep 17 00:00:00 2001
From: Quentin Carbonneaux <quentin.carbonneaux@yale.edu>
Date: Wed, 13 Apr 2016 09:50:52 -0400
Subject: [PATCH] separate name and index in newtmp()

---
 util.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util.c b/util.c
index ee8030f..dbba264 100644
--- a/util.c
+++ b/util.c
@@ -215,7 +215,7 @@ newtmp(char *prfx, int k,  Fn *fn)
 	t = fn->ntmp++;
 	vgrow(&fn->tmp, fn->ntmp);
 	if (prfx)
-		sprintf(fn->tmp[t].name, "%s%d", prfx, ++n);
+		sprintf(fn->tmp[t].name, "%s.%d", prfx, ++n);
 	fn->tmp[t].cls = k;
 	fn->tmp[t].slot = -1;
 	fn->tmp[t].nuse = +1;