Fix typo in function name

dtree_teacher_gem_stanley.py

@@ -77,7 +77,7 @@ class DTreeGEMStanleyGurobiTeacher(GEMStanleyGurobiTeacher):
             gp_cons = self._gp_model.addConstr(cons)
             self._prev_candidate_constr.append(gp_cons)
 
-    def _candidate_to_conjucts(self, candidate: z3.BoolRef):
+    def _candidate_to_conjuncts(self, candidate: z3.BoolRef):
         init_path = [candidate]
         stack = [init_path]
         while stack:
@@ -117,7 +117,7 @@ class DTreeGEMStanleyGurobiTeacher(GEMStanleyGurobiTeacher):
 
     def check(self, candidate: z3.BoolRef) -> z3.CheckSatResult:
         self._cexs.clear()
-        conjunct_iter = self._candidate_to_conjucts(candidate)
+        conjunct_iter = self._candidate_to_conjuncts(candidate)
         print("Checking candidate", flush=True)
         for conjunct in conjunct_iter:
             # print(".", end='', flush=True)