# HG changeset patch
# User wenzelm
# Date 918056509 -3600
# Node ID c6c4626ef6938e3093f2db1b0a26ebdfaaf95c74
# Parent  72abe86d9418bfada5ad8d10b014ab8a35861a5a
enabled sig;

diff -r 72abe86d9418 -r c6c4626ef693 src/Pure/General/path.ML
--- a/src/Pure/General/path.ML	Wed Feb 03 16:41:00 1999 +0100
+++ b/src/Pure/General/path.ML	Wed Feb 03 16:41:49 1999 +0100
@@ -22,11 +22,10 @@
   val unpack: string -> T
   val base: T -> T
   val ext: string -> T -> T
-(* FIXME  val evaluate: (string -> T) -> T -> T	*)
   val expand: T -> T
 end;
 
-structure Path(* FIXME : PATH *) =
+structure Path: PATH =
 struct