From 4dd9249a95d11e4fc42aab054d57058e3492871f Mon Sep 17 00:00:00 2001 From: Margus Veanes Date: Fri, 21 Aug 2020 16:23:24 -0700 Subject: [PATCH] trying to remove invisible control characters --- src/ast/seq_decl_plugin.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/seq_decl_plugin.h b/src/ast/seq_decl_plugin.h index f28266c2b..7013a3798 100644 --- a/src/ast/seq_decl_plugin.h +++ b/src/ast/seq_decl_plugin.h @@ -482,7 +482,7 @@ public: info compl() const; info concat(info & rhs, bool lhs_is_concat) const; info disj(info& rhs) const; - info conj(info& rhs) const; + info conj(info& rhs) const; info diff(info& rhs) const; info orelse(info& rhs) const; info loop(unsigned lower) const;