From 410e98af46d5b776223452dee2102d9eb14d67e0 Mon Sep 17 00:00:00 2001
From: natile <??>
Date: Fri, 11 Oct 2002 07:40:54 +0000
Subject: [PATCH] Use patched.
---
helm/ocaml/mathql_interpreter_galax/use.ml | 27 +++++++++++-----------
1 file changed, 13 insertions(+), 14 deletions(-)
diff --git a/helm/ocaml/mathql_interpreter_galax/use.ml b/helm/ocaml/mathql_interpreter_galax/use.ml
index c2a716b23..ab4fa6c73 100644
--- a/helm/ocaml/mathql_interpreter_galax/use.ml
+++ b/helm/ocaml/mathql_interpreter_galax/use.ml
@@ -5,24 +5,23 @@ open Mathql_semantics;;
let rec attl uril svar =
match uril with
| head::tail -> let suri = List.hd uril in
- let len = String.length suri in
- let scuri = String.sub suri 4 (len-4) in
- if String.contains scuri '#' then
- let pos = String.index scuri '#' in
+ let len = String.length suri in
+ let scuri = String.sub suri 4 (len-4) in
+ if String.contains scuri '#' then
+ let pos = String.index scuri '#' in
let s1 = Str.string_before scuri pos in
- let xp = Str.string_after scuri pos in
- let xp = Str.global_replace (Str.regexp "#xpointer(1") "" xp in
- let xp = Str.global_replace (Str.regexp "\/") "," xp in
- let xp = Str.global_replace (Str.regexp ")") "" xp in
- let scuri = (s1 ^ xp) in
-
- let uril_tl = List.tl uril in
+ let xp = Str.string_after scuri pos in
+ let xp = Str.global_replace (Str.regexp "#xpointer(1") "" xp in
+ let xp = Str.global_replace (Str.regexp "\/") "," xp in
+ let xp = Str.global_replace (Str.regexp ")") "" xp in
+ let scuri = (s1 ^ xp) in
+ let uril_tl = List.tl uril in
{uri = scuri; attributes = [(svar, (List.hd
uril_tl))]; extra = ""} :: (attl (List.tl uril_tl) svar)
- else
+ else
let uril_tl = List.tl uril in
- {uri = scuri; attributes = [(svar, (List.hd
- uril_tl))]; extra = ""} :: (attl (List.tl uril_tl) svar)
+ {uri = scuri; attributes = [(svar, (List.hd
+ uril_tl))]; extra = ""} :: (attl (List.tl uril_tl) svar)
| [] -> []
--
2.39.5