Skip to content

Commit 5eb754c

Browse files
tautschnigDaniel Kroening
authored and
Daniel Kroening
committed
Include map, not stack
There is no actual use of std::stack, and std::map only worked as it may be provided by util/irep.h.
1 parent 7c844fb commit 5eb754c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/solvers/smt2/smt2_parser.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ Author: Daniel Kroening, [email protected]
99
#ifndef CPROVER_SOLVERS_SMT2_SMT2_PARSER_H
1010
#define CPROVER_SOLVERS_SMT2_SMT2_PARSER_H
1111

12-
#include <stack>
12+
#include <map>
1313

1414
#include <util/std_expr.h>
1515

0 commit comments

Comments
 (0)