From 3a849db9ccc1d6df05ae1689ef1349cb07800fbd Mon Sep 17 00:00:00 2001
From: Arijit Dasgupta <65239742+arijitnoobstar@users.noreply.github.com>
Date: Mon, 26 Sep 2022 21:48:01 -0400
Subject: [PATCH] fixed math typo

---
 docs/src/ref/gfi.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/docs/src/ref/gfi.md b/docs/src/ref/gfi.md
index dde929722..0838d45c9 100644
--- a/docs/src/ref/gfi.md
+++ b/docs/src/ref/gfi.md
@@ -222,8 +222,8 @@ and `discard` will be:
 Note that the discard contains both the previous values of addresses that were overwritten, and the values for addresses that were in the previous trace but are no longer in the new trace.
 The weight (`w`) is computed as:
 ```math
-p(t'; x) = 0.7 × 0.4 × 0.4 × 0.7 = 0.0784\\
-p(t; x') = 0.7 × 0.6 × 0.1 × 0.7 = 0.0294\\
+p(t; x) = 0.7 × 0.4 × 0.4 × 0.7 = 0.0784\\
+p(t'; x') = 0.7 × 0.6 × 0.1 × 0.7 = 0.0294\\
 w = \log p(t'; x')/p(t; x) = \log 0.0294/0.0784 = \log 0.375
 ```
 
@@ -269,8 +269,8 @@ Also, `discard` will be:
 ```
 If the former case occurs and `:d` is assigned to `true`, then the weight (`w`) is computed as:
 ```math
-p(t'; x) = 0.7 × 0.4 × 0.4 × 0.7 = 0.0784\\
-p(t; x') = 0.7 × 0.6 × 0.1 × 0.7 = 0.0294\\
+p(t; x) = 0.7 × 0.4 × 0.4 × 0.7 = 0.0784\\
+p(t'; x') = 0.7 × 0.6 × 0.1 × 0.7 = 0.0294\\
 q(t'; x', t + u) = 0.1\\
 w = \log p(t'; x')/(p(t; x) q(t'; x', t + u)) = \log 0.0294/(0.0784 \cdot 0.1) = \log (3.75)
 ```