1 files changed, 0 insertions, 8 deletions
diff --git a/pintos-progos/threads/flags.h b/pintos-progos/threads/flags.h
deleted file mode 100644
index 5654ac7..0000000
--- a/pintos-progos/threads/flags.h
+++ /dev/null
@@ -1,8 +0,0 @@
-#ifndef THREADS_FLAGS_H
-#define THREADS_FLAGS_H
-/* EFLAGS Register. */
-#define FLAG_MBS  0x00000002    /* Must be set. */
-#define FLAG_IF   0x00000200    /* Interrupt Flag. */
-#endif /* threads/flags.h */

diff --git a/pintos-progos/threads/flags.h b/pintos-progos/threads/flags.h deleted file mode 100644 index 5654ac7..0000000 --- a/pintos-progos/threads/flags.h +++ /dev/null
@@ -1,8 +0,0 @@
1	#ifndef THREADS_FLAGS_H
2	#define THREADS_FLAGS_H
3
4	/* EFLAGS Register. */
5	#define FLAG_MBS 0x00000002 /* Must be set. */
6	#define FLAG_IF 0x00000200 /* Interrupt Flag. */
7
8	#endif /* threads/flags.h */