From 31267a1ae8d670c4b8749fc55b07c01d9285a488 Mon Sep 17 00:00:00 2001
From: William Speirs <bill.speirs@gmail.com>
Date: Thu, 16 Oct 2014 12:06:54 -0400
Subject: Header changes so it will compile on VS

---
 frontends/verific/verific.cc | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'frontends/verific/verific.cc')

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 5e1894cfd..44dfba0a8 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -20,11 +20,14 @@
 #include "kernel/yosys.h"
 #include "kernel/sigtools.h"
 #include "kernel/log.h"
-#include <unistd.h>
 #include <stdlib.h>
 #include <stdio.h>
 #include <string.h>
-#include <dirent.h>
+
+#ifndef _WIN32
+#  include <unistd.h>
+#  include <dirent.h>
+#endif
 
 USING_YOSYS_NAMESPACE
 
-- 
cgit v1.2.3