mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
move vector<std::string to std::vector<std::string
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
4ebf392da7
commit
d383fd851a
|
@ -19,6 +19,7 @@ Revision History:
|
|||
#ifndef DL_UTIL_H_
|
||||
#define DL_UTIL_H_
|
||||
|
||||
#include<vector>
|
||||
#include"ast.h"
|
||||
#include"hashtable.h"
|
||||
#include"obj_hashtable.h"
|
||||
|
@ -67,7 +68,7 @@ namespace datalog {
|
|||
typedef idx_set var_idx_set;
|
||||
typedef u_map<var *> varidx2var_map;
|
||||
typedef obj_hashtable<func_decl> func_decl_set; //!< Rule dependencies.
|
||||
typedef vector<std::string> string_vector;
|
||||
typedef std::vector<std::string> string_vector;
|
||||
|
||||
bool contains_var(expr * trm, unsigned var_idx);
|
||||
|
||||
|
|
|
@ -298,7 +298,7 @@ namespace smt2 {
|
|||
}
|
||||
|
||||
unsigned m_cache_end;
|
||||
vector<std::string> m_cached_strings;
|
||||
std::vector<std::string> m_cached_strings;
|
||||
|
||||
int m_num_open_paren;
|
||||
|
||||
|
@ -2197,7 +2197,7 @@ namespace smt2 {
|
|||
|
||||
m_scanner.start_caching();
|
||||
m_cache_end = 0;
|
||||
m_cached_strings.reset();
|
||||
m_cached_strings.resize(0);
|
||||
|
||||
check_lparen_next("invalid get-value command, '(' expected");
|
||||
while (!curr_is_rparen()) {
|
||||
|
|
Loading…
Reference in a new issue