CR comment

Signed-off-by: Elazar Gershuni <[email protected]>
vbpf · Nov 17, 2024 · e8dc77c · e8dc77c
1 parent 03ca56c
commit e8dc77c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/crab_verifier.hpp b/src/crab_verifier.hpp
@@ -28,8 +28,8 @@ class Invariants final {
 
   public:
     explicit Invariants(crab::invariant_table_t&& invariants) : invariants(std::move(invariants)) {}
-    explicit Invariants(Invariants&& invariants) = default;
-    explicit Invariants(const Invariants& invariants) = default;
+    Invariants(Invariants&& invariants) = default;
+    Invariants(const Invariants& invariants) = default;
 
     bool is_valid_after(const label_t& label, const string_invariant& state) const;
     void print_invariants(std::ostream& os, const cfg_t& cfg) const;