# HG changeset patch
# User paulson
# Date 913369131 -3600
# Node ID 832b9269dedd0f1868748123cb097fb46e8eb1ac
# Parent  259e4f2114e19aef98ad597d6d85ae67f78124b4
deleted unclosed comment

diff -r 259e4f2114e1 -r 832b9269dedd src/HOLCF/IOA/meta_theory/LiveIOA.ML
--- a/src/HOLCF/IOA/meta_theory/LiveIOA.ML	Fri Dec 11 10:36:39 1998 +0100
+++ b/src/HOLCF/IOA/meta_theory/LiveIOA.ML	Fri Dec 11 10:38:51 1998 +0100
@@ -53,6 +53,3 @@
  (* Liveness *)
 by Auto_tac;
 qed"live_implements";
-
-
-(*