Skip to content
Snippets Groups Projects
Commit 9b0146c7 authored by Hague Matthew UXAC009's avatar Hague Matthew UXAC009
Browse files

bug(automaton): include algorithm for std::find

parent 80fd7097
Branches parameters
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/main/symbolic_automaton.h
+ 1
− 0
View file @ 9b0146c7
......@@ -2,6 +2,7 @@
#ifndef SYMBOLIC_AUTOMATON_H
#define SYMBOLIC_AUTOMATON_H
#include <algorithm>
#include <iostream>
#include <map>
#include <optional>
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment

GitLab by CIM Team | RHUL