From 372a5d3cbb782db117cde582589bf3514b36a814 Mon Sep 17 00:00:00 2001
From: rku <rokups@zoho.com>
Date: Mon, 4 May 2015 11:36:31 +0300
Subject: Removed magics: mAddI64, mSubI64, mMulI64, mDivI64, mModI64

Author:    rku <rokups@zoho.com>
---
 compiler/guards.nim | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'compiler/guards.nim')

diff --git a/compiler/guards.nim b/compiler/guards.nim
index df2c1dd75..45413ee62 100644
--- a/compiler/guards.nim
+++ b/compiler/guards.nim
@@ -30,11 +30,11 @@ const
   someHigh = {mHigh}
   # we don't list unsigned here because wrap around semantics suck for
   # proving anything:
-  someAdd = {mAddI, mAddI64, mAddF64, mSucc}
-  someSub = {mSubI, mSubI64, mSubF64, mPred}
-  someMul = {mMulI, mMulI64, mMulF64}
-  someDiv = {mDivI, mDivI64, mDivF64}
-  someMod = {mModI, mModI64}
+  someAdd = {mAddI, mAddF64, mSucc}
+  someSub = {mSubI, mSubF64, mPred}
+  someMul = {mMulI, mMulF64}
+  someDiv = {mDivI, mDivF64}
+  someMod = {mModI}
   someMax = {mMaxI, mMaxF64}
   someMin = {mMinI, mMinF64}
 
-- 
cgit 1.4.1-2-gfad0