From d3135a69f653034f07b7657486f926a7a20ef3ee Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 1 Jun 2017 23:59:55 -0400
Subject: Strip trailing whitespace

With
```bash
bash ./etc/coq-scripts/formatting/strip-trailing-whitespace.sh
```
---
 src/Util/NUtil.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Util/NUtil.v')

diff --git a/src/Util/NUtil.v b/src/Util/NUtil.v
index 1faa1da95..d76be63aa 100644
--- a/src/Util/NUtil.v
+++ b/src/Util/NUtil.v
@@ -117,7 +117,7 @@ Module N.
       replace (Z.of_nat 2) with 2%Z by reflexivity.
       omega.
     Qed.
- 
+
     Let ZNWord sz x := Word.NToWord sz (BinInt.Z.to_N x).
     Lemma combine_ZNWord : forall sz1 sz2 z1 z2,
         (0 <= Z.of_nat sz1)%Z ->
-- 
cgit v1.2.3