Fix no newline at end of file

Author: diode-lang

test/EtaFunctionsExplDefArg.agda

@@ -31,4 +31,4 @@ eta-higher : (A B C : Set) → (f : A → B → C) → (λ x → λ y → f (con
 eta-higher = λ A B C → λ f → refl
 
 eta-counterexample-simple : addOne ≡ (λ x → (suc (const Nat x x)))
-eta-counterexample-simple = refl
+eta-counterexample-simple = refl