diff options
Diffstat (limited to 'src/Trace.v')
-rw-r--r-- | src/Trace.v | 2 |
1 files changed, 1 insertions, 1 deletions
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 *) (* |