range now has def_range

FStarLang · Sep 17, 2024 · a452fbe · a452fbe
1 parent 7f401d0
commit a452fbe
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/share/pulse/examples/bug-reports/error-messages/Bug.DesugaringError.fst.expected b/share/pulse/examples/bug-reports/error-messages/Bug.DesugaringError.fst.expected
@@ -23,6 +23,7 @@
 * Error 189 at Bug.DesugaringError.fst(31,9-31,10):
   - Expected expression of type Prims.nat got expression y of type Prims.bool
   - Raised within Tactics.refl_instantiate_implicits
+  - See also Bug.DesugaringError.fst(31,4-31,10)
 
 >>]
 >> Got issues: [