From 3ef072cac8bdf620698fbbfaf6fb94b45d6946c2 Mon Sep 17 00:00:00 2001 From: jfschaefer Date: Thu, 7 Dec 2023 11:26:41 +0100 Subject: [PATCH] bugfix: GLIF semantic construction should translate each input and not discard duplicates --- src/mmt-glf/src/info/kwarc/mmt/glf/GlfConstructServer.scala | 1 - 1 file changed, 1 deletion(-) diff --git a/src/mmt-glf/src/info/kwarc/mmt/glf/GlfConstructServer.scala b/src/mmt-glf/src/info/kwarc/mmt/glf/GlfConstructServer.scala index 3e8f0e14a..c47568172 100644 --- a/src/mmt-glf/src/info/kwarc/mmt/glf/GlfConstructServer.scala +++ b/src/mmt-glf/src/info/kwarc/mmt/glf/GlfConstructServer.scala @@ -76,7 +76,6 @@ class GlfConstructServer extends ServerExtension("glf-construct") { .map(t => if (query.simplify) controller.simplifier(t, SimplificationUnit(theory.getInnerContext, expandVarDefs = query.deltaExpansion, expandConDefs = query.deltaExpansion, fullRecursion = true)) else t) .map(t => removeFakeLambdas(t, Set())) - .distinct val elpiresult = JSONArray(trees.map(t => JSONString(ELPIExporter.translateTerm(t).toELPI())): _*) val mmtresult = JSONArray(trees.map(t => JSONString(controller.presenter.asString(t))): _*)