Remove newline

Co-authored-by: Jason Gross <jasongross9@gmail.com>
mit-plv · Apr 16, 2021 · 99e40bb · 99e40bb
1 parent a8b58a9
commit 99e40bb
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/Util/ZUtil/TruncatingShiftl.v b/src/Util/ZUtil/TruncatingShiftl.v
@@ -52,7 +52,6 @@ Module Z.
     Z.truncating_shiftl m (Z.truncating_shiftl m a p) q
     = Z.truncating_shiftl m a (p + q).
   Proof. Z.solve_using_testbit. Qed.
-
   Lemma truncating_shiftl0 m k :
     Z.truncating_shiftl m 0 k = 0.
   Proof. Z.solve_using_testbit. Qed.