From e9f10beed1a30fe80b315a9de4c4c2ab11527db8 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <edolstra@gmail.com>
Date: Mon, 4 May 2020 22:40:02 +0200
Subject: [PATCH] precompiled-headers.h: Don't include our own headers

---
 precompiled-headers.h | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/precompiled-headers.h b/precompiled-headers.h
index e0d885b23..079aa496e 100644
--- a/precompiled-headers.h
+++ b/precompiled-headers.h
@@ -56,6 +56,3 @@
 #include <sys/wait.h>
 #include <termios.h>
 #include <unistd.h>
-
-#include "util.hh"
-#include "args.hh"