Add hre/feedback.h to installed files as $INC/ltsmin/feedback.h

utwente-fmt / ltsmin

The LTSmin model checking toolset

http://ltsmin.utwente.nl

BSD 3-Clause "New" or "Revised" License

52 stars 30 forks source link

Add hre/feedback.h to installed files as $INC/ltsmin/feedback.h #95

Closed yanntm closed 7 years ago

yanntm commented 7 years ago

It is not currently exported, yet it is referenced by ltsmin-standard.h reference file. Probably forgotten file orphaned from 98a846986eb6a8f4d7abfbb7652f9e262993138f commit of @Meijuh

Meijuh commented 7 years ago

close/reopen to restart travis build