Added Missing Types Import - Githubissues

BerkeleyLearnVerify / Scenic

A compiler and scenario generator for the Scenic scenario description language.

https://scenic-lang.org/

Other

258 stars 93 forks source link

Added Missing Types Import #203

Closed Eric-Vin closed 7 months ago

Eric-Vin commented 7 months ago

Will resolve Issue https://github.com/BerkeleyLearnVerify/Scenic/issues/199.

nidhiyatittas commented 7 months ago

Thank You