diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-15 23:10:43 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-06-16 15:02:15 -0400 |
| commit | cae0e80ae76b76091e7fb86fcd794358a4fe55bb (patch) | |
| tree | b7654abd8a076b313ab1b2ab55255e59b15e1f82 /src | |
| parent | d0d0fbd4499296a2164e209466227892671556f0 (diff) | |
Make use of CArrayNotations
Diffstat (limited to 'src')
| -rw-r--r-- | src/Specific/IntegrationTestDisplayCommon.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/IntegrationTestDisplayCommon.v b/src/Specific/IntegrationTestDisplayCommon.v index f81e31a49..9f68ab049 100644 --- a/src/Specific/IntegrationTestDisplayCommon.v +++ b/src/Specific/IntegrationTestDisplayCommon.v @@ -7,7 +7,7 @@ Require Import Crypto.Compilers.Eta. Require Export Coq.ZArith.ZArith. Require Export Crypto.Util.LetIn. Require Export Crypto.Util.FixedWordSizes. -Require Export Crypto.Compilers.Z.CNotations. +Require Export Crypto.Compilers.Z.CArrayNotations. Require Export Coq.Unicode.Utf8. (* for better line breaks at function display; must come last *) Global Arguments Pos.to_nat !_ / . |