From 1e340d509f229120eb3aaa98c91028dc3c0d3305 Mon Sep 17 00:00:00 2001
From: Gertjan van den Burg <burg@ese.eur.nl>
Date: Mon, 25 Aug 2014 14:38:03 +0200
Subject: rename msvmmaj to gensvm

---
 include/globals.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'include/globals.h')

diff --git a/include/globals.h b/include/globals.h
index 55fb6c4..46cc3d2 100644
--- a/include/globals.h
+++ b/include/globals.h
@@ -16,8 +16,8 @@
  *
  */
 
-#ifndef MSVMMAJ_GLOBALS_H
-#define MSVMMAJ_GLOBALS_H
+#ifndef GENSVM_GLOBALS_H
+#define GENSVM_GLOBALS_H
 
 #include <stdio.h>
 #include <stdlib.h>
-- 
cgit v1.2.3