= mkGlobalId VanillaGlobal breakpointCondJumpName
(basicType (FunTy boolTy)) vanillaIdInfo
}
- ; extendIdEnv [breakpoingJumpId, breakpointCondJumpId] thing_inside}
+ ; extendIdEnv [breakpointJumpId, breakpointCondJumpId] thing_inside}
#else
= thing_inside
#endif