From 80aec5a0e58ff0c04423fedb244a35717f680821 Mon Sep 17 00:00:00 2001
From: Martin Fischer <martin@push-f.com>
Date: Thu, 24 Feb 2022 08:39:15 +0100
Subject: rename puzzle to use mypy lingo

---
 puzzles/03_assign_wrong_type_in_func.py | 2 --
 puzzles/03_type_error_in_untyped_def.py | 2 ++
 2 files changed, 2 insertions(+), 2 deletions(-)
 delete mode 100644 puzzles/03_assign_wrong_type_in_func.py
 create mode 100644 puzzles/03_type_error_in_untyped_def.py

diff --git a/puzzles/03_assign_wrong_type_in_func.py b/puzzles/03_assign_wrong_type_in_func.py
deleted file mode 100644
index 6c87c71..0000000
--- a/puzzles/03_assign_wrong_type_in_func.py
+++ /dev/null
@@ -1,2 +0,0 @@
-def f():
-    x: int = 'Python' # error
diff --git a/puzzles/03_type_error_in_untyped_def.py b/puzzles/03_type_error_in_untyped_def.py
new file mode 100644
index 0000000..6c87c71
--- /dev/null
+++ b/puzzles/03_type_error_in_untyped_def.py
@@ -0,0 +1,2 @@
+def f():
+    x: int = 'Python' # error
-- 
cgit v1.2.3