From 04daecdd21e86e7556a9462380096530228cd6ca Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?John=20Ankarstr=C3=B6m?= Date: Wed, 3 Aug 2022 21:57:27 +0200 Subject: Split common.h to util.h, wcharptr.h and win.h. --- c/pl.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'c/pl.h') diff --git a/c/pl.h b/c/pl.h index 28e13b0..670c926 100644 --- a/c/pl.h +++ b/c/pl.h @@ -5,7 +5,7 @@ #include #include -#include "common.h" +#include "wcharptr.h" wchar_ptr PlString(const term_t t, const int flags = CVT_WRITE); -- cgit v1.2.3