add FileEnv and FileSystem instances for PSt

c0224e63 · John van Groningen · c8a44c88 · c0224e63
Commit c0224e63 authored Jan 21, 2009 by John van Groningen
--- a/Ide/PmCallBack.dcl
+++ b/Ide/PmCallBack.dcl
 definition module PmCallBack

 from IdeState import ::General,::PSt
+from StdFile import class FileEnv,class FileSystem
+from StdPStClass import instance FileEnv (PSt .a),instance FileSystem (PSt .a)

 :: *GeneralSt :== PSt General