From 91357b8acc3a706536e768627a990e79e2c65c0b Mon Sep 17 00:00:00 2001
From: Jesse Hertz <jesse_hertz@apple.com>
Date: Wed, 11 Jan 2023 00:49:43 -0500
Subject: [PATCH] change cmplog to use new API for CmpLogObserver

---
 fuzzers/jif/libjif/src/lib.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/fuzzers/jif/libjif/src/lib.rs b/fuzzers/jif/libjif/src/lib.rs
index c29e4a1f9fb..4041e9a5a0f 100644
--- a/fuzzers/jif/libjif/src/lib.rs
+++ b/fuzzers/jif/libjif/src/lib.rs
@@ -239,8 +239,7 @@ pub extern "C" fn main() {
         let time_observer = TimeObserver::new("time");
 
         // Create the Cmp observer
-        let cmplog = unsafe { &mut CMPLOG_MAP };
-        let cmplog_observer = CmpLogObserver::new("cmplog", cmplog, true);
+        let cmplog_observer = CmpLogObserver::new("cmplog", true);
 
         // feedback from js
         let js_observer = JSObserver::new("js");