# HG changeset patch
# User wenzelm
# Date 876154860 -7200
# Node ID a99fdf465dfb10096d640ddae8100f9b4a7ef8b1
# Parent  b1bfd394b60aa5c45e297818e1f7e3be0311fb30
eliminated raise_ast;

diff -r b1bfd394b60a -r a99fdf465dfb src/Pure/Syntax/ast.ML
--- a/src/Pure/Syntax/ast.ML	Mon Oct 06 18:20:15 1997 +0200
+++ b/src/Pure/Syntax/ast.ML	Mon Oct 06 18:21:00 1997 +0200
@@ -29,7 +29,6 @@
 signature AST =
   sig
   include AST1
-  val raise_ast: string -> ast list -> 'a
   val head_of_rule: ast * ast -> string
   val rule_error: ast * ast -> string option
   val fold_ast: string -> ast list -> ast
@@ -68,7 +67,6 @@
 
 exception AST of string * ast list;
 
-fun raise_ast msg asts = raise AST (msg, asts);
 
 
 (** print asts in a LISP-like style **)