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
```
---
 coqprime/Makefile | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'coqprime/Makefile')

diff --git a/coqprime/Makefile b/coqprime/Makefile
index c8e44a658..2b995982e 100644
--- a/coqprime/Makefile
+++ b/coqprime/Makefile
@@ -14,7 +14,7 @@
 
 #
 # This Makefile was generated by the command line :
-# coq_makefile -f _CoqProject -o Makefile 
+# coq_makefile -f _CoqProject -o Makefile
 #
 
 .DEFAULT_GOAL := all
@@ -151,7 +151,7 @@ endif
 #                                     #
 #######################################
 
-all: $(VOFILES) 
+all: $(VOFILES)
 
 quick: $(VOFILES:.vo=.vio)
 
@@ -316,4 +316,3 @@ $(addsuffix .beautified,$(VFILES)): %.v.beautified:
 # Edit at your own risks !
 #
 # END OF WARNING
-
-- 
cgit v1.2.3