diff --git a/elab_net.cc b/elab_net.cc index 96a2cbbf1..a2ea5a424 100644 --- a/elab_net.cc +++ b/elab_net.cc @@ -29,6 +29,7 @@ # include # include +# include /* * This is a state flag that determines whether an elaborate_net must