From 49a3cf1148c48cd3535f977c36f7201c8641d48f Mon Sep 17 00:00:00 2001
From: Antoine Martin <antoine97.martin@gmail.com>
Date: Tue, 10 Mar 2020 18:28:08 +0100
Subject: [PATCH] twacube: mark get_ap method as const

* spot/twacube/twacube.hh,spot/twacube/twacube.cc: Here.
---
 spot/twacube/twacube.cc | 2 +-
 spot/twacube/twacube.hh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/spot/twacube/twacube.cc b/spot/twacube/twacube.cc
index 26b4342d6..1ec95aa14 100644
--- a/spot/twacube/twacube.cc
+++ b/spot/twacube/twacube.cc
@@ -66,7 +66,7 @@ namespace spot
     return acc_;
   }
 
-  std::vector<std::string> twacube::get_ap()
+  std::vector<std::string> twacube::get_ap() const
   {
     return aps_;
   }
diff --git a/spot/twacube/twacube.hh b/spot/twacube/twacube.hh
index 1a8112a84..2a9a3885b 100644
--- a/spot/twacube/twacube.hh
+++ b/spot/twacube/twacube.hh
@@ -139,7 +139,7 @@ namespace spot
     acc_cond& acc();
 
     /// \brief Returns the names of the atomic properties.
-    std::vector<std::string> get_ap();
+    std::vector<std::string> get_ap() const;
 
     /// \brief This method creates a new state.
     unsigned new_state();