trying to remove invisible control characters

Z3Prover · Aug 21, 2020 · 4dd9249 · 4dd9249
1 parent 8285162
commit 4dd9249
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ast/seq_decl_plugin.h b/src/ast/seq_decl_plugin.h
@@ -482,7 +482,7 @@ class seq_util {
             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;