2 commits

Author	SHA1	Message	Date
Nikolaj Bjorner	c0d20f8ea8	add cr ... Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>	2019-02-23 10:59:10 +01:00
Daniel Schemmel	721ea2a8d3	Move vector.h to old_vector.h and add a shim vector.h ... To do so, one instance of the class keyword needs to be removed.	2019-02-21 15:38:08 +01:00