From 1b0f76026a553bcd76efb2bf99048235ad847ada Mon Sep 17 00:00:00 2001
From: Pierre Roux
Date: Sat, 2 Jan 2021 12:44:23 +0100
Subject: Print primitive constants in debuger

This was raising a Not_found exception due to the unknown scope.
---
 interp/notation.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'interp')

diff --git a/interp/notation.ml b/interp/notation.ml
index f2d113954b..f69d6f7d97 100644
--- a/interp/notation.ml
+++ b/interp/notation.ml
@@ -1357,6 +1357,7 @@ let find_with_delimiters = function
       match (String.Map.find scope !scope_map).delimiters with
         | Some key -> Some (Some scope, Some key)
         | None -> None
+        | exception Not_found -> None
 
 let rec find_without_delimiters find (ntn_scope,ntn) = function
   | OpenScopeItem scope :: scopes ->
-- 
cgit v1.2.3