From 0ad3c6a3cdc7b7811a9347d8241a5cb23e655337 Mon Sep 17 00:00:00 2001
From: Panupong Pasupat <ppasupat@stanford.edu>
Date: Tue, 24 Apr 2018 03:36:21 -0700
Subject: [PATCH] Fixed the recursion bug

---
 src/edu/stanford/nlp/sempre/Formulas.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/edu/stanford/nlp/sempre/Formulas.java b/src/edu/stanford/nlp/sempre/Formulas.java
index 41c6b15..a41cfa7 100644
--- a/src/edu/stanford/nlp/sempre/Formulas.java
+++ b/src/edu/stanford/nlp/sempre/Formulas.java
@@ -311,7 +311,7 @@ public abstract class Formulas {
     // recurse
     if (f instanceof AggregateFormula) {
       AggregateFormula aggFormula = (AggregateFormula) f;
-      extractSubpartsRecursive(aggFormula, res);
+      extractSubpartsRecursive(aggFormula.child, res);
     } else if (f instanceof CallFormula) {
       CallFormula callFormula = (CallFormula) f;
       extractSubpartsRecursive(callFormula.func, res);