From 6b59b0be7f885d4951f3533c0dbbfc489beb566f Mon Sep 17 00:00:00 2001 From: gregory guy Date: Fri, 22 May 2020 12:24:08 +0200 Subject: Cleanup headers. Signed-off-by: gregory guy (cherry picked from commit 062009ca00bc0dd3b65f20392d28fddbb685795d) --- src/makefrontend.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/makefrontend.h') diff --git a/src/makefrontend.h b/src/makefrontend.h index c3ab3f1..1fc0a04 100644 --- a/src/makefrontend.h +++ b/src/makefrontend.h @@ -28,7 +28,7 @@ #ifndef MAKEFRONTEND_H #define MAKEFRONTEND_H -#include +#include "frontend.h" /** * A shell-process front-end intended for running make-like tasks. -- cgit v1.2.1