diff options
Diffstat (limited to 'print/advi/patches/patch-ad')
| -rw-r--r-- | print/advi/patches/patch-ad | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/print/advi/patches/patch-ad b/print/advi/patches/patch-ad deleted file mode 100644 index 3a4a415d64b..00000000000 --- a/print/advi/patches/patch-ad +++ /dev/null @@ -1,20 +0,0 @@ -$NetBSD: patch-ad,v 1.1 2006/04/19 13:13:05 tonio Exp $ - ---- symbol.ml.orig 2004-10-01 13:13:35.000000000 +0200 -+++ symbol.ml -@@ -555,7 +555,6 @@ let valid position i = i >= 0 && i < Arr - let around b x y = - try - let position = position x y in -- let space_ref = position.history.(position.first) in - let valid = valid position in - let rec skip_spaces move i = - if valid i then -@@ -576,7 +575,6 @@ let around b x y = - | Rule (_, _) -> return w - | _ -> - if pre <> dummy_symbol && above pre h <> 0 then return w else -- let c = symbol_name pre h in - let add x y = if move 0 > 0 then x ^ y else y ^ x in - word move i (add (true_symbol_name h) w) next - else -1, w in |