Skip to content
Snippets Groups Projects
Commit 8dacf071 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

Merge branch 'feature/unify-array-size-specifier-for-constant-integer-expressions' into 'master' 

Unify array declarations when array size is a same integer constant value with different type.

Closes #765

See merge request frama-c/frama-c!2472
parents 85403141 8e70660f
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
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