Skip to content

Conversation

@mariusmc92
Copy link
Contributor

Replaced #type with ID_C_cxx_alloc_type in
value_set_fi.cpp.

Replaced #type with ID_C_cxx_alloc_type in
value_set_fi.cpp.
@kroening kroening merged commit 5813937 into diffblue:master Apr 13, 2017
@mariusmc92 mariusmc92 deleted the cleanup/replace-hash-type-with-new-irep-id branch April 13, 2017 11:01
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