fix build for non C++11

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2025-04-16 22:05:36 +00:00 · 2016-07-28 17:04:47 -07:00 · 2016-07-28 17:04:47 -07:00 · fa48703445
parent 0055254f4c 2e362aa6c0
commit fa48703445
1 changed files with 1 additions and 0 deletions
--- a/src/math/automata/symbolic_automata.h
+++ b/src/math/automata/symbolic_automata.h
@ -141,6 +141,7 @@ private:
            curr_bv.pop_back();
        }
    }
+
 };