diff options
Diffstat (limited to 'arm/ConstpropOp.vp')
| -rw-r--r-- | arm/ConstpropOp.vp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/arm/ConstpropOp.vp b/arm/ConstpropOp.vp index a9cbad5..7e3217e 100644 --- a/arm/ConstpropOp.vp +++ b/arm/ConstpropOp.vp @@ -335,8 +335,4 @@ Nondetfunction addr_strength_reduction (addr, args) end. -Definition builtin_strength_reduction - (ef: external_function) (args: list reg) (vl: list approx) := - (ef, args). - End STRENGTH_REDUCTION. |