| Index: src/trusted/validator_arm/gen/arm32_decode.h | 
| diff --git a/src/trusted/validator_arm/gen/arm32_decode.h b/src/trusted/validator_arm/gen/arm32_decode.h | 
| index c5bf72ae356781b89754d9462cc72f88bd982727..890e1ce8bacd3f0e59beb78458ef537eccd65185 100644 | 
| --- a/src/trusted/validator_arm/gen/arm32_decode.h | 
| +++ b/src/trusted/validator_arm/gen/arm32_decode.h | 
| @@ -174,9 +174,9 @@ class Arm32DecoderState : DecoderState { | 
| const MoveVfpRegisterOp MoveVfpRegisterOp_instance_; | 
| const MoveVfpRegisterOpWithTypeSel MoveVfpRegisterOpWithTypeSel_instance_; | 
| const NotImplemented NotImplemented_instance_; | 
| +  const PermanentlyUndefined PermanentlyUndefined_instance_; | 
| const PreloadRegisterPairOp PreloadRegisterPairOp_instance_; | 
| const PreloadRegisterPairOpWAndRnNotPc PreloadRegisterPairOpWAndRnNotPc_instance_; | 
| -  const Roadblock Roadblock_instance_; | 
| const Store2RegisterImm12OpRnNotRtOnWriteback Store2RegisterImm12OpRnNotRtOnWriteback_instance_; | 
| const StoreBasedImmedMemory StoreBasedImmedMemory_instance_; | 
| const StoreBasedImmedMemoryDouble StoreBasedImmedMemoryDouble_instance_; | 
|  |