From 05b6a1e789935df7556dd1dbd0da7119763149b1 Mon Sep 17 00:00:00 2001 From: Marat Khabibullin Date: Fri, 12 Jun 2020 07:51:03 -0700 Subject: [PATCH] [infer][PR] Fix minor bugs in docs Summary: Hi, I have found a couple of small issues while reading the docs. The pull request contains the fixes. BTW, the link to PLDI slices is also broken here: https://fbinfer.com/docs/absint-framework. I haven't found the slides anywhere, so not sure how to fix it. Pull Request resolved: https://github.com/facebook/infer/pull/1278 Reviewed By: dulmarod Differential Revision: D22018947 Pulled By: jvillard fbshipit-source-id: 13f6d27b1 --- website/docs/02-separation-logic-and-biabduction.md | 2 +- website/docs/04-absint-framework.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/website/docs/02-separation-logic-and-biabduction.md b/website/docs/02-separation-logic-and-biabduction.md index a543696ca..3c59e5356 100644 --- a/website/docs/02-separation-logic-and-biabduction.md +++ b/website/docs/02-separation-logic-and-biabduction.md @@ -72,7 +72,7 @@ Now, suppose we have two resources and , described by and we close the first of them. We think operationally in terms of updating the memory in place, -leaving \\(r_2 \mapsto open\\) alone, as described by this triple: +leaving alone, as described by this triple: --- diff --git a/website/docs/04-absint-framework.md b/website/docs/04-absint-framework.md index 0fba85ebc..af3244fe5 100644 --- a/website/docs/04-absint-framework.md +++ b/website/docs/04-absint-framework.md @@ -24,7 +24,7 @@ from @Scale2016. **If you feel like coding instead of reading, a great way to get started with Infer.AI is to go through the lab exercise -[here](https://github.com/facebook/infer/blob/master/infer/src/labs/lab.md).** +[here](https://github.com/facebook/infer/blob/master/infer/src/labs/README.md).** ## By example: intraprocedural analysis