Changed builApp

parser.py

@@ -114,6 +114,8 @@ def buildApp(terme):
     else:
         t = buildTerm(liste_de_termes[0])
     for k in range(1, n):
+        if liste_de_termes[k] == '':
+            return t
         t = new_app(t, buildTerm(liste_de_termes[k]))
     return t
     
@@ -164,3 +166,4 @@ def remove_multiple_spaces(terme):
 #print(remove_multiple_spaces("x       y    z (#x.z   g)"))
 # print(buildTerm("x "))
 print(checkType("(((#x.x)))"))
+print(buildTerm('((((((((((((x ))))))))))))                          '))
\ No newline at end of file