# HG changeset patch
# User wenzelm
# Date 1177932780 -7200
# Node ID 7dc27b37f7f7b101ed737d3dbf065c61ebdabd74
# Parent  0f4c501a691eb821f0999545a1de09ed850fbe58
removed obsolete get_sg;

diff -r 0f4c501a691e -r 7dc27b37f7f7 src/Pure/context.ML
--- a/src/Pure/context.ML	Mon Apr 30 13:32:58 2007 +0200
+++ b/src/Pure/context.ML	Mon Apr 30 13:33:00 2007 +0200
@@ -569,7 +569,6 @@
   val init: theory -> theory
   val print: theory -> unit
   val get: theory -> T
-  val get_sg: theory -> T    (*obsolete*)
   val put: T -> theory -> theory
   val map: (T -> T) -> theory -> theory
 end;