diff options
Diffstat (limited to 'src/Reflection/Z/Inline.v')
| -rw-r--r-- | src/Reflection/Z/Inline.v | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/Reflection/Z/Inline.v b/src/Reflection/Z/Inline.v deleted file mode 100644 index 989286232..000000000 --- a/src/Reflection/Z/Inline.v +++ /dev/null @@ -1,7 +0,0 @@ -Require Import Crypto.Reflection.Syntax. -Require Import Crypto.Reflection.Inline. -Require Import Crypto.Reflection.Z.Syntax. -Require Import Crypto.Reflection.Z.Syntax.Util. - -Definition InlineConst {t} (e : Expr base_type op t) : Expr base_type op t - := @InlineConst base_type op (is_const) t e. |