Skip to content

Remove unused variable in Z3#3105

Merged
chriseth merged 1 commit intodevelopfrom
z3-unused-var
Oct 19, 2017
Merged

Remove unused variable in Z3#3105
chriseth merged 1 commit intodevelopfrom
z3-unused-var

Conversation

@axic
Copy link
Contributor

@axic axic commented Oct 18, 2017

Fixes #3103.

@axic axic requested a review from chriseth October 19, 2017 00:05
@chriseth chriseth merged commit da298eb into develop Oct 19, 2017
@axic axic deleted the z3-unused-var branch October 19, 2017 09:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants