# HG changeset patch
# User berghofe
# Date 926953114 -7200
# Node ID 808a3d9e2404c8b4f9caf060c895fd8cb3f1a287
# Parent  2156012be98621c10ce931650ffee99917eac2bd
Present.begin_theory now needs an additional argument of type
theory to store information about session identifiers.

diff -r 2156012be986 -r 808a3d9e2404 src/Pure/Isar/isar_thy.ML
--- a/src/Pure/Isar/isar_thy.ML	Mon May 17 16:55:27 1999 +0200
+++ b/src/Pure/Isar/isar_thy.ML	Mon May 17 16:58:34 1999 +0200
@@ -331,7 +331,7 @@
   let
     val paths = map (apfst Path.unpack) files;
     val thy = ThyInfo.begin_theory name parents paths;
-  in Present.begin_theory name parents paths; thy end;
+  in Present.begin_theory name parents paths thy end;
 
 
 (* FIXME