mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-17 19:36:17 +00:00
Code Activity

Remove whitespace

Browse source
This commit is contained in:
Arie Gurfinkel 2018-05-15 12:17:30 -07:00
parent 7c727ee922
commit 83adb6742e
1 changed files with 0 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/muz/spacer/spacer_farkas_learner.h
View file

@ -24,12 +24,6 @@ Revision History:
namespace spacer { namespace spacer {
class farkas_learner { class farkas_learner {
typedef obj_hashtable<expr> expr_set; typedef obj_hashtable<expr> expr_set;