From 5d22eb1461533392b543e75c98b2ef88a20b6b32 Mon Sep 17 00:00:00 2001
From: David Renshaw <dwrenshaw@gmail.com>
Date: Fri, 15 Sep 2023 21:05:50 -0400
Subject: [PATCH] [Romania1998Q12] remove solution comment from extracted
 problem

---
 MathPuzzles/Romania1998Q12.lean | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/MathPuzzles/Romania1998Q12.lean b/MathPuzzles/Romania1998Q12.lean
index 34cc5bc0..abb68f35 100644
--- a/MathPuzzles/Romania1998Q12.lean
+++ b/MathPuzzles/Romania1998Q12.lean
@@ -12,10 +12,12 @@ function f : ℝ → ℝ such that
 
   ∀ x,y ∈ ℝ, f(x + y) = f(x)u(y) + f(y)
 
+-/
+
+/-
 # Solution
 
 f(x) = eᵏˣ for some k : ℝ.
-
 -/
 
 #[problem_setup] namespace Romania1998Q12