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/timer.h | |
| parent | free some work arrays (diff) | |
| download | gensvm-1e340d509f229120eb3aaa98c91028dc3c0d3305.tar.gz gensvm-1e340d509f229120eb3aaa98c91028dc3c0d3305.zip | |
rename msvmmaj to gensvm
Diffstat (limited to 'include/timer.h')
| -rw-r--r-- | include/timer.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/timer.h b/include/timer.h index d4af649..a1b60a7 100644 --- a/include/timer.h +++ b/include/timer.h @@ -9,8 +9,8 @@ * */ -#ifndef MSVMMAJ_TIMER_H -#define MSVMMAJ_TIMER_H +#ifndef GENSVM_TIMER_H +#define GENSVM_TIMER_H #include "globals.h" |