mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

trying to remove invisible control characters

Browse source
This commit is contained in:
Margus Veanes 2020-08-21 16:23:24 -07:00
parent 8285162c3c
commit 4dd9249a95
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/ast/seq_decl_plugin.h
View file

@ -482,7 +482,7 @@ public:
info compl() const; info compl() const;
info concat(info & rhs, bool lhs_is_concat) const; info concat(info & rhs, bool lhs_is_concat) const;
info disj(info& rhs) const; info disj(info& rhs) const;
info conj(info& rhs) const; info conj(info& rhs) const;
info diff(info& rhs) const; info diff(info& rhs) const;
info orelse(info& rhs) const; info orelse(info& rhs) const;
info loop(unsigned lower) const; info loop(unsigned lower) const;