Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/graph.scala
changeset 50452 bfb5964e3041
parent 50447 2e22cdccdc38
child 56372 fadb0fef09d7 
--- a/src/Pure/General/graph.scala	Mon Dec 10 15:13:13 2012 +0100
+++ b/src/Pure/General/graph.scala	Mon Dec 10 15:17:47 2012 +0100
@@ -237,7 +237,8 @@
   def transitive_reduction_acyclic: Graph[Key, A] =
   {
     val trans = this.transitive_closure
-    assert(!trans.entries.exists({ case (x, (_, (_, succs))) => succs.contains(x) }))
+    if (trans.entries.exists({ case (x, (_, (_, succs))) => succs.contains(x) }))
+      error("Cyclic graph")
 
     var graph = this
     for {
isabelle