From f5968d000a221b1c3bcee5e7dbbbcd22a2977f1d Mon Sep 17 00:00:00 2001
From: ronny
Date: Fri, 19 Mar 2004 21:26:41 +0000
Subject: change prefix "TD_" to "TD;"

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1471 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/typereify.icl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'frontend')

diff --git a/frontend/typereify.icl b/frontend/typereify.icl
index 4456db1..e443c02 100644
--- a/frontend/typereify.icl
+++ b/frontend/typereify.icl
@@ -9,7 +9,7 @@ import typesupport
 
 typeFunName :: Ident -> {#Char}
 typeFunName {id_name}
-	=	"TD_" +++ id_name
+	=	"TD;" +++ id_name
 
 class makeTypeFun a :: Ident Position SymbolType *VarHeap *SymbolTable
 	-> (a, *VarHeap, *SymbolTable)
-- 
cgit v1.2.3