--- src/compiler/core.cm.orig	Fri Dec 14 22:01:23 2001
+++ src/compiler/core.cm	Thu Feb 28 02:43:48 2002
@@ -81,6 +81,26 @@
 	signature PICKMOD
 	signature UNPICKMOD
 	signature FLINT
+
+	(* export of structures required to use FLINT directly -5- *)
+	structure Types
+	structure Translate
+	(* in 110.27 already exported above: structure FLINT *)
+	structure LtyKernel
+	structure PrimTyc  
+	structure LtyDef
+	structure LtyExtern
+	structure PPFlint
+	structure LContract
+	(* currently unused?: structure FContract *)
+	structure Specialize
+	structure PrimOp
+	structure LambdaVar
+	structure ChkFlint
+	(* accessible via GenericVC: structure Symbol *)
+	structure Access
+	structure DebIndex
+
 is
 
 TopLevel/environ/environ.sig
