
#ifndef DEF_H
#define DEF_H

// To work around g++'s -I-/-iquote bug, one should
// #include this file as "Util/../def.h" rather than
// simply as "def.h".

// It would be neater to define the following each
// as "const string", but it is easier to use <argp.h>
// when they are macros; so, macros they are.
#define PROGVER   "0.1.0"
#define BUG_EMAIL "thb@derivations.org"

#endif

