Skip to content
Snippets Groups Projects
Commit c6d35eb3 authored by Jan Rochel's avatar Jan Rochel
Browse files

[alias] improve API: transparent LSet and LMap 

The exported modules LSet and LMap were identical to
Cil_datatype.LvalStructEq.Set and Cil_datatype.LvalStructEq.Map.
This was however not visible to the user.

The graph module G has been removed from the API as it served no
purpose.
parent ca5e6751
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 118 additions and 170 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment