From 56963edd455c5641e6fdcfce8a07c2d9e7e3e01a Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@gmail.com>
Date: Tue, 17 Feb 2004 13:22:35 +0000
Subject: [PATCH] Use user::is_ whenever possible

[SVN r22301]
---
 libs/numeric/interval | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libs/numeric/interval b/libs/numeric/interval
index 59c5bce8fc..01aa5c848c 160000
--- a/libs/numeric/interval
+++ b/libs/numeric/interval
@@ -1 +1 @@
-Subproject commit 59c5bce8fcf04a180283af2ad81d2d74797728e7
+Subproject commit 01aa5c848c15d7975f4535c5f3ae0d73b5f20c05