From be1caa6b75c141b4e2221150b58d7d204f4efb4c Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 8 Oct 2012 12:59:12 +0000
Subject: use path returned by fopenInSearchPaths to create the .tcl file name
 for openTclFile

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

(limited to 'frontend/frontend.dcl')

diff --git a/frontend/frontend.dcl b/frontend/frontend.dcl
index 9aa9678..a635875 100644
--- a/frontend/frontend.dcl
+++ b/frontend/frontend.dcl
@@ -38,5 +38,5 @@ from partition import ::Component(..),::ComponentMembers
 	}
 instance == ListTypesKind
 
-frontEndInterface :: !FrontEndOptions !Ident !SearchPaths !{#DclModule} !*{#*{#FunDef}} !(Optional Bool) !*PredefinedSymbols !*HashTable (ModTimeFunction *Files) !*Files !*File !*File !*File !(Optional *File) !*Heaps
+frontEndInterface :: !(Optional (*File,{#Char},{#Char})) !FrontEndOptions !Ident !SearchPaths !{#DclModule} !*{#*{#FunDef}} !(Optional Bool) !*PredefinedSymbols !*HashTable (ModTimeFunction *Files) !*Files !*File !*File !*File !(Optional *File) !*Heaps
 	-> ( !Optional *FrontEndSyntaxTree,!*{#*{#FunDef}},!{#DclModule},!Int,!*PredefinedSymbols, !*HashTable, !*Files, !*File, !*File, !*File, !Optional *File, !*Heaps) 
-- 
cgit v1.2.3