dummy edit to re-trigger travis with new fixpoint

ucsd-progsys · Jun 24, 2015 · e84bd13 · e84bd13
1 parent 4d0d72a
commit e84bd13
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -2,7 +2,6 @@ LiquidHaskell [![Build Status](https://travis-ci.org/ucsd-progsys/liquidhaskell.
 =============
 
 
-
 Requirements
 ------------