From eba6f66cb3f48174ba039e5a2a6b6e15a5bbe381 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 12 Jul 2019 16:21:56 +0200
Subject: [PATCH] * spot/gen/formulas.cc: Add missing delete[].

---
 spot/gen/formulas.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/spot/gen/formulas.cc b/spot/gen/formulas.cc
index 55a4b7289..fcb7f8e14 100644
--- a/spot/gen/formulas.cc
+++ b/spot/gen/formulas.cc
@@ -1,5 +1,5 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2012-2018 Laboratoire de Recherche et Developpement
+// Copyright (C) 2012-2019 Laboratoire de Recherche et Developpement
 // de l'EPITA (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -1142,6 +1142,8 @@ namespace spot
               kr2_exp_5(n, fa, fb, fc, fd),
               kr2_exp_mutex(n, fa, fb, fc, fd) });
 
+        delete[] fa;
+        delete[] fb;
         return res;
       }