# HG changeset patch
# User berghofe
# Date 952725847 -3600
# Node ID 8eb32cd3122eff687841b3b2a00a3139427f8aa2
# Parent  852c630723345d951bb0dfac3424a7719157dd66
Type.typ_match now uses Vartab instead of association lists.

diff -r 852c63072334 -r 8eb32cd3122e TFL/thry.sml
--- a/TFL/thry.sml	Fri Mar 10 17:53:16 2000 +0100
+++ b/TFL/thry.sml	Fri Mar 10 23:04:07 2000 +0100
@@ -24,8 +24,8 @@
     in (map tmbind tm_theta, map tybind ty_theta)
     end
 
- fun match_type thry pat ob = 
-    map tybind(Type.typ_match (#tsig(Sign.rep_sg(Theory.sign_of thry))) ([],(pat,ob)))
+ fun match_type thry pat ob = map tybind (Vartab.dest
+   (Type.typ_match (#tsig(Sign.rep_sg(Theory.sign_of thry))) (Vartab.empty, (pat,ob))))
 end;