bugfix: GLIF semantic construction should translate each input and no…

…t discard duplicates
UniFormal · Dec 7, 2023 · 3ef072c · 3ef072c
1 parent ab16791
commit 3ef072c
Showing 1 changed file with 0 additions and 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
@@ -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))): _*)