ut-amrl / ut_automata

Infrastructure repository for UT AUTOmata
7 stars 12 forks source link

Fix build in newer GCC #3

Closed loganzartman closed 4 years ago

loganzartman commented 4 years ago

These are some minimal changes to build the project with the latest versions of GCC (lab machines' are pretty old), which I use on my personal machine.