Nikolaj Bjorner ff480d1183 fix #5238		2021-05-02 16:09:01 -07:00
..
smt2	fix #5238	2021-05-02 16:09:01 -07:00
util	call it data instead of c_ptr for approaching C++11 std::vector convention.	2021-04-13 18:17:35 -07:00