From 7bd2d1064f2eceddc3c93c121c4154a2f594a040 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 28 Jul 2014 11:08:55 +0200
Subject: Using log_assert() instead of assert()

---
 frontends/verific/verific.cc | 1 -
 1 file changed, 1 deletion(-)

(limited to 'frontends/verific')

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index aee38703..80170394 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -22,7 +22,6 @@
 #include "kernel/log.h"
 #include <unistd.h>
 #include <stdlib.h>
-#include <assert.h>
 #include <stdio.h>
 #include <string.h>
 #include <dirent.h>
-- 
cgit v1.2.3