diff options
| author | Gertjan van den Burg <burg@ese.eur.nl> | 2014-08-25 14:38:03 +0200 |
|---|---|---|
| committer | Gertjan van den Burg <burg@ese.eur.nl> | 2014-08-25 14:38:03 +0200 |
| commit | 1e340d509f229120eb3aaa98c91028dc3c0d3305 (patch) | |
| tree | dd6b65c428447f179133e967eb0e0d3ce15f68ec /include/util.h | |
| parent | free some work arrays (diff) | |
| download | gensvm-1e340d509f229120eb3aaa98c91028dc3c0d3305.tar.gz gensvm-1e340d509f229120eb3aaa98c91028dc3c0d3305.zip | |
rename msvmmaj to gensvm
Diffstat (limited to 'include/util.h')
| -rw-r--r-- | include/util.h | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/include/util.h b/include/util.h index 375a9c2..fe8d2a3 100644 --- a/include/util.h +++ b/include/util.h @@ -9,18 +9,18 @@ * */ -#ifndef MSVMMAJ_UTIL_H -#define MSVMMAJ_UTIL_H +#ifndef GENSVM_UTIL_H +#define GENSVM_UTIL_H #include "globals.h" // forward declarations -struct MajData; -struct MajModel; +struct GenData; +struct GenModel; // function declarations -int msvmmaj_check_argv(int argc, char **argv, char *str); -int msvmmaj_check_argv_eq(int argc, char **argv, char *str); +int gensvm_check_argv(int argc, char **argv, char *str); +int gensvm_check_argv_eq(int argc, char **argv, char *str); void note(const char *fmt,...); |