From 25973ee8ef28e2d5b8a9b9ec3de4d6ff340db18b Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 23 May 2024 14:41:00 +0200
Subject: Tweak a path

---
 tests/fstar/misc/External.Funs.fst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tests/fstar/misc/External.Funs.fst')

diff --git a/tests/fstar/misc/External.Funs.fst b/tests/fstar/misc/External.Funs.fst
index 3b99ef25..5a7a9f32 100644
--- a/tests/fstar/misc/External.Funs.fst
+++ b/tests/fstar/misc/External.Funs.fst
@@ -15,12 +15,12 @@ let core_marker_CopyU32 : core_marker_Copy_t u32 = {
 }
 
 (** [external::use_get]:
-    Source: 'src/external.rs', lines 5:0-5:37 *)
+    Source: 'tests/src/external.rs', lines 5:0-5:37 *)
 let use_get (rc : core_cell_Cell_t u32) (st : state) : result (state & u32) =
   core_cell_Cell_get u32 core_marker_CopyU32 rc st
 
 (** [external::incr]:
-    Source: 'src/external.rs', lines 9:0-9:31 *)
+    Source: 'tests/src/external.rs', lines 9:0-9:31 *)
 let incr
   (rc : core_cell_Cell_t u32) (st : state) :
   result (state & (core_cell_Cell_t u32))
-- 
cgit v1.2.3