diff --git a/devel/202_4.md b/devel/202_4.md
index 305a4ed4f33697644a51ea576275d7bf01da01ff..8b5a8f3df4afd4a5a737be17deeb9c674718ddd7 100644
--- a/devel/202_4.md
+++ b/devel/202_4.md
@@ -1,4 +1,5 @@
 # 202_4: 在 (liii oop) 中新增 define-final-class
+## 2025/11/04 option的实现从 define-case-class 切换到 define-final-class
 ## 2025/11/04 define-final-class
 ### What
 新增 define-final-class
diff --git a/goldfish/liii/option.scm b/goldfish/liii/option.scm
index 77dc64bb5672669e4255cf85e26850d5b3d632b2..08c3433ad6f4c171c6d61304f0e87c70c81a0110 100644
--- a/goldfish/liii/option.scm
+++ b/goldfish/liii/option.scm
@@ -19,7 +19,7 @@
   (export option none)
   (begin
 
-    (define-case-class option ((value any?))
+    (define-final-class option ((value any?))
 
       (define (%get)
         (if (null? value)