src/Pure/Isar/session.ML

--- a/src/Pure/Isar/session.ML	Tue May 17 10:19:43 2005 +0200
+++ b/src/Pure/Isar/session.ML	Tue May 17 10:19:44 2005 +0200
@@ -73,7 +73,7 @@
 
 fun get_rpath rpath_str =
   (if rpath_str = "" then () else
-     if isSome (!rpath) then
+     if is_some (! rpath) then
        error "Path for remote theory browsing information may only be set once"
      else
        rpath := SOME (Url.unpack rpath_str);