From f2ef0f3e866479c1c88eb899c8291a6d93f72928 Mon Sep 17 00:00:00 2001 From: Neil Hodgson Date: Wed, 30 May 2018 13:57:11 +1000 Subject: Backport: Add header needed for floor. Backport of changeset 7007:6055a62c94c3. --- src/PositionCache.cxx | 1 + 1 file changed, 1 insertion(+) (limited to 'src') diff --git a/src/PositionCache.cxx b/src/PositionCache.cxx index 4d8752e95..ec8de83ba 100644 --- a/src/PositionCache.cxx +++ b/src/PositionCache.cxx @@ -8,6 +8,7 @@ #include #include #include +#include #include #include -- cgit v1.2.3