From 9dd4074f41607183d7793b241a2a28d2ba920b68 Mon Sep 17 00:00:00 2001
From: Franziskus Kiefer <franziskuskiefer@gmail.com>
Date: Mon, 13 May 2024 08:29:23 +0200
Subject: [PATCH] Update hax-lib-macros/types/README.md

Co-authored-by: Lucas Franceschino <lucas@cryspen.com>
---
 hax-lib-macros/types/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hax-lib-macros/types/README.md b/hax-lib-macros/types/README.md
index 400538ddd..6db15247a 100644
--- a/hax-lib-macros/types/README.md
+++ b/hax-lib-macros/types/README.md
@@ -1,3 +1,3 @@
 # hax internal types
 
-A create with hax internal types.
+A crate that defines the types of the various payloads of the attributes produced by the crate `hax-lib-macros` and consumed internally by the engine of hax.