From 7d252abb3924bc112354223ecc9e5f23956527fa Mon Sep 17 00:00:00 2001 From: Jake Donham Date: Wed, 5 May 2010 00:51:58 -0400 Subject: [PATCH] oops --- src/froc/froc.mli | 4 ++-- src/froc/froc_sa.mli | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/froc/froc.mli b/src/froc/froc.mli index 3e8a938..cf866ac 100644 --- a/src/froc/froc.mli +++ b/src/froc/froc.mli @@ -460,8 +460,8 @@ val memo : The unit argument makes it possible to memoize a recursive function, using the following idiom: {[ let m = memo () in (* creates the memo table *) - let rec f x = ... memo f y in - let f x = memo f x + let rec f x = ... m f y in + let f x = m f x ]} The default hash function is not appropriate for behaviors and diff --git a/src/froc/froc_sa.mli b/src/froc/froc_sa.mli index 6846571..07a8d42 100644 --- a/src/froc/froc_sa.mli +++ b/src/froc/froc_sa.mli @@ -175,8 +175,8 @@ val memo : The unit argument makes it possible to memoize a recursive function, using the following idiom: {[ let m = memo () in (* creates the memo table *) - let rec f x = ... memo f y in - let f x = memo f x + let rec f x = ... m f y in + let f x = m f x ]} The default hash function is not appropriate for changeables