Open QinshiWang opened 2 years ago
statement_rec in P4light/Syntax.v seems unused. I guess it's because we removed Environment.v.
statement_rec
P4light/Syntax.v
Environment.v
statement_recinP4light/Syntax.vseems unused. I guess it's because we removedEnvironment.v.