From ff9b5494cb1943339543eeac41683a8ec2dda437 Mon Sep 17 00:00:00 2001 From: Chantal Keller Date: Tue, 10 Feb 2015 18:41:46 +0100 Subject: More on the support for standard Coq (not working yet) --- src/Trace.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Trace.v') diff --git a/src/Trace.v b/src/Trace.v index d369958..7930a83 100644 --- a/src/Trace.v +++ b/src/Trace.v @@ -51,7 +51,7 @@ Section trace. Definition _checker_ (s: S.t) (t: _trace_) (confl:clause_id) : bool := let s' := PArray.fold_left (fun s a => PArray.fold_left check_step s a) s t in is_false (S.get s' confl). - Register _checker_ as PrimInline. + (* Register _checker_ as PrimInline. *) (* For debugging *) (* -- cgit