From cf786e05b2436e955713fd65c368b60f194c7f14 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 24 Nov 2016 13:27:22 +0100 Subject: [PATCH] Added missing inline directive in header-only function. --- include/anthem/Utils.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/anthem/Utils.h b/include/anthem/Utils.h index f4e425e..97785d7 100644 --- a/include/anthem/Utils.h +++ b/include/anthem/Utils.h @@ -23,7 +23,7 @@ T1 location_cast(const T2 &location); //////////////////////////////////////////////////////////////////////////////////////////////////// template<> -input::Location location_cast(const Clingo::Location &location) +inline input::Location location_cast(const Clingo::Location &location) { return {location.begin_file(), location.end_file(), location.begin_line(), location.end_line(), location.begin_column(), location.end_column()};