From e4f4cf095fbc3634237130c2342d6c8efcfa8534 Mon Sep 17 00:00:00 2001 From: David Chisnall Date: Wed, 27 Feb 2019 13:58:51 +0000 Subject: [PATCH] Remove unused header include. --- properties.m | 1 - 1 file changed, 1 deletion(-) diff --git a/properties.m b/properties.m index 37bf4cc..c187f98 100644 --- a/properties.m +++ b/properties.m @@ -4,7 +4,6 @@ #include #include #include -#include #include "class.h" #include "properties.h" #include "spinlock.h"