Build fails on OTAWAv2 because of namespaces changes in ELM #1
Description
There are errors in headers:
$ grep -r "include.*elm" src/smt.cpp
#include <elm/genstruct/SLList.h>
But elm/genstruct does not even exist. Even after I fix all header errors (and with namespaces) I still got such errors:
src/cfg_features.h:52:27: error: 'elm::inhstruct::SLList' is not a template
52 | template inline SLList singleton(const T& x) { SLList l; >l.addLast(x); return l; }