Fixed GCC compiling issues with constexpr

ticktac-project · Jun 9, 2024 · 2fe2f91 · 2fe2f91
1 parent ad643ba
commit 2fe2f91
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/include/tchecker/variables/clocks.hh b/include/tchecker/variables/clocks.hh
@@ -673,7 +673,7 @@ public:
     assertion)
     \return the identifier of clock id in this reference map
   */
-  constexpr inline tchecker::clock_id_t translate_system_clock(tchecker::clock_id_t id) const
+  inline tchecker::clock_id_t translate_system_clock(tchecker::clock_id_t id) const
   {
     assert(id < size() - _refcount);
     return id + _refcount;

diff --git a/src/system/system.cc b/src/system/system.cc
@@ -37,7 +37,7 @@ class system_builder_t : public tchecker::parsing::declaration_visitor_t {
    */
   virtual void visit(tchecker::parsing::system_declaration_t const & d)
   {
-    for (std::shared_ptr<tchecker::parsing::declaration_t> const & decl : d.declarations())
+    for (std::shared_ptr<tchecker::parsing::declaration_t> const decl : d.declarations())
       decl->visit(*this);
   }