fix title

ngmachado · ngmachado · commit bb8c6839ae37 · 2025-11-07T11:02:18.000Z
diff --git a/website/blog/2025-11-07-refinement-types-in-ora.md b/website/blog/2025-11-07-refinement-types-in-ora.md
@@ -1,6 +1,6 @@
 ---
 slug: refinement-types-in-ora
-title: Refinement Types: Making Smart Contracts Safer by Default
+title: "Refinement Types: Making Smart Contracts Safer by Default"
 authors: [axe]
 tags: [compiler, type-system, safety, refinement-types]
 ---
