From 024d8630024d990bda6af5889d833d56402277eb Mon Sep 17 00:00:00 2001
From: Son Ho <hosonmarc@gmail.com>
Date: Fri, 10 Nov 2023 12:46:20 +0100
Subject: [PATCH] Update some code snippets in the comments so that they are
 not run as tests

---
 charon/src/reorder_decls.rs | 4 ++--
 charon/src/translate_ctx.rs | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/charon/src/reorder_decls.rs b/charon/src/reorder_decls.rs
index b7410e00..e8f2858b 100644
--- a/charon/src/reorder_decls.rs
+++ b/charon/src/reorder_decls.rs
@@ -194,7 +194,7 @@ pub struct Deps {
     ///
     ///
     /// For instance, the problem happens if in Rust we have:
-    /// ```
+    /// ```text
     /// pub trait WithConstTy {
     ///     type W;
     ///     fn f(x: &mut Self::W);
@@ -208,7 +208,7 @@ pub struct Deps {
     ///
     /// In LLBC we get:
     ///
-    /// ```
+    /// ```text
     /// impl traits::Bool::0 : traits::WithConstTy<bool>
     /// {
     ///     type W = u64 with []
diff --git a/charon/src/translate_ctx.rs b/charon/src/translate_ctx.rs
index cfa11dd9..ae24af45 100644
--- a/charon/src/translate_ctx.rs
+++ b/charon/src/translate_ctx.rs
@@ -216,7 +216,7 @@ pub(crate) struct BodyTransCtx<'tcx, 'ctx, 'ctx1> {
     /// the variables inside the group.
     ///
     /// For instance, we have the following:
-    /// ```
+    /// ```text
     ///                     we compute the De Bruijn indices from here
     ///                            VVVVVVVVVVVVVVVVVVVVVVV
     /// fn f<'a, 'b>(x: for<'c> fn(&'a u8, &'b u16, &'c u32) -> u64) {}