caveat/crunch_isa.py: introduce header guard
authorDmitry Selyutin <ghostmansd@gmail.com>
Thu, 21 Sep 2023 19:56:22 +0000 (22:56 +0300)
committerDmitry Selyutin <ghostmansd@gmail.com>
Thu, 21 Sep 2023 20:01:48 +0000 (23:01 +0300)
commit9bd7bb427e195aa29656f33acb758f3e2abced1c
treee703544e3ac6d8b560a5fb3205c031c5410daa5e
parent3298b411cfce0a4a44cfc3bb3033a1e2c476a6e0
caveat/crunch_isa.py: introduce header guard
caveat/crunch_isa.py