summaryrefslogtreecommitdiff
blob: 0168c703d06d40e6db0a962556ee555ded9b6adf (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
Index: pxp-1.2.8/src/pxp-engine/pxp_document.ml
===================================================================
--- pxp-1.2.8.orig/src/pxp-engine/pxp_document.ml
+++ pxp-1.2.8/src/pxp-engine/pxp_document.ml
@@ -3398,8 +3398,6 @@ let find_all_elements ?deeply eltype bas
 ;;
 
 
-exception Skip;;
-
 let map_tree ~pre ?(post=(fun x -> x)) base =
   let rec map_rec n =
     let n' = pre n in