From f59042fc9fb88fbab305d8f678d4c3cd1357bb85 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 18 Feb 2016 09:08:08 +0100
Subject: [PATCH] * python/ajax/spotcgi.in: Thinko.

---
 python/ajax/spotcgi.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python/ajax/spotcgi.in b/python/ajax/spotcgi.in
index 935687e91..80dcdfac9 100755
--- a/python/ajax/spotcgi.in
+++ b/python/ajax/spotcgi.in
@@ -436,6 +436,7 @@ formula = form.getfirst('f', '')
 
 env = spot.default_environment.instance()
 pf = spot.parse_infix_psl(formula, env)
+f = pf.f
 
 if pf.errors:
     # Try the LBT parser in case someone is throwing LBT formulas at us.
@@ -444,7 +445,6 @@ if pf.errors:
         unbufprint('<div class="parse-error">')
         err = pf.format_errors(spot.get_cout())
         unbufprint('</div>')
-        f = pf.f
     else:
         f = pg.f