fixed a bug with my last commit

removed unused parameter
microsoft · Jan 10, 2017 · 35249ee · 35249ee
1 parent f8b9eb7
commit 35249ee
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/Src/Core/API/Results/ApplyResult.cs b/Src/Core/API/Results/ApplyResult.cs
@@ -166,7 +166,7 @@ public Task<AST<Program>> GetOutputModel(
                 var aliases = new Map<Term, string>(Term.Compare);
                 foreach (var t in facts)
                 {
-                    BuildFactBody(facts, t, bldr, modelRef, aliasPrefix, aliases, removeRenaming);
+                    BuildFactBody(t, bldr, modelRef, aliasPrefix, aliases, removeRenaming);
                 }
 
                 int count;
@@ -414,7 +414,6 @@ internal void Start()
         }
 
         private void BuildFactBody(
-            Set<Term> facts, 
             Term t, 
             Builder bldr, 
             BuilderRef modelRef,
@@ -511,7 +510,7 @@ private void BuildFactBody(
                     return default(Unit);
                 });
 
-            if (aliasPrefix == null)
+            if (tAliasPrefix == null)
             {
                 bldr.PushAnonModelFact();
                 bldr.Load(modelRef);