Skip to content
Unverified Commit b19fa00e authored by Franz Pletz's avatar Franz Pletz
Browse files

Revert "mcrl2: force use of gcc5 to prevent compilation errors" 

This reverts commit 5e5e57b5.

Already fixed with edd94f5f.
parent 76519f92
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