Skip to content
Snippets Groups Projects
Commit 28424994 authored by Etienne Kneuss's avatar Etienne Kneuss Committed by Etienne Kneuss
Browse files

Fix bug in forward trusting untrusted solutions

parent 322bd8cc
No related branches found
No related tags found
No related merge requests found
......@@ -173,12 +173,7 @@ trait RuleHelpers {
def subst(what: Tuple2[Identifier, Expr], in: Expr): Expr = replaceFromIDs(Map(what), in)
def substAll(what: Map[Identifier, Expr], in: Expr): Expr = replaceFromIDs(what, in)
val forward: List[Solution] => Option[Solution] = {
case List(s) =>
Some(Solution(s.pre, s.defs, s.term))
case _ =>
None
}
val forward: List[Solution] => Option[Solution] = { ss => ss.headOption }
def project(firstN: Int): List[Solution] => Option[Solution] = {
project(0 until firstN)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment