Repaired compilation on Linux.

Linux apparently requires a template in a set constructor.
mCRL2org · Jun 12, 2021 · 54fa148 · 54fa148
1 parent 18cc3a3
commit 54fa148
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libraries/lps/source/linearise.cpp b/libraries/lps/source/linearise.cpp
@@ -3245,7 +3245,7 @@ class specification_basic_type
             assert(check_valid_process_instance_assignment(procId,assignment_list(new_assignment.begin(),new_assignment.end())));
             newbody=seq(process_instance_assignment(procId,assignment_list(new_assignment.begin(),new_assignment.end())),newbody);
             const variable_list result=pars1+pars;
-            assert(std::set(result.begin(),result.end()).size()==result.size()); // all elements in the result are unique. 
+            assert(std::set<variable>(result.begin(),result.end()).size()==result.size()); // all elements in the result are unique. 
             return result;
           }
           else