From e2dfdd7d07f54b464a4419dcf102662f1694d4b8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Fri, 15 Jul 2022 18:50:15 +0200 Subject: Split defs.h into separate header files. This is feasible now that the makedeps script exists to automatically manage build dependencies (see 6034fe2, d00f8b3). --- c/pl.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'c/pl.cpp') diff --git a/c/pl.cpp b/c/pl.cpp index 1fbc4e7..ace83e7 100644 --- a/c/pl.cpp +++ b/c/pl.cpp @@ -1,5 +1,6 @@ #include -#include "defs.h" + +#include "pl.h" Query::Query(module_t ctx, predicate_t p, term_t t0) { -- cgit v1.2.3