From 2c2626359cf0eb6038f38e01660d7b3d4fad1583 Mon Sep 17 00:00:00 2001 From: Ben Hudson Date: Mon, 6 Mar 2017 08:33:23 -0800 Subject: [PATCH] [infer][PR] couple more typos Summary: Closes https://github.com/facebook/infer/pull/601 Differential Revision: D4649810 Pulled By: mbouaziz fbshipit-source-id: e80f8a7 --- infer/src/backend/dotty.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/infer/src/backend/dotty.ml b/infer/src/backend/dotty.ml index 96ff8de0b..8a7aec2dc 100644 --- a/infer/src/backend/dotty.ml +++ b/infer/src/backend/dotty.ml @@ -178,7 +178,7 @@ let is_source_node_of_exp e node = | Dotpointsto (_, e', _) -> Exp.equal e e' | _ -> false -(* given a node returns its coordinates and the expression. Return -1 in case the expressio doesn.t*) +(* given a node returns its coordinates and the expression. Return -1 in case the expression doesn't*) (* make sense for that case *) let get_coordinate_and_exp dotnode = match dotnode with @@ -608,7 +608,7 @@ let print_kind f kind = incr dotty_state_count -(* print a link between two noeds in the graph *) +(* print a link between two nodes in the graph *) let dotty_pp_link f link = let n1 = link.src.id in let lambda1 = link.src.lambda in