pkgs/applications/science/logic/aiger/fix-missing-header.patch

   1 diff -ur a/aigunconstraint.c b/aigunconstraint.c
   2 --- a/aigunconstraint.c 2013-10-06 09:08:03.000000000 -0400
   3 +++ b/aigunconstraint.c 2023-10-27 08:55:01.678566389 -0400
   4 @@ -26,6 +26,7 @@
   5  #include <stdarg.h>
   6  #include <stdlib.h>
   7  #include <string.h>
   8 +#include <unistd.h>
   9
  10  static const char * USAGE =
  11  "usage: aigunconstraint [-h][-v] [<input> [<output>]]\n"