fix bug

goblint · Sep 10, 2024 · 39b2261 · 39b2261
1 parent 80f68fc
commit 39b2261
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cdomains/c2poDomain.ml b/src/cdomains/c2poDomain.ml
@@ -43,7 +43,7 @@ module C2PODomain = struct
 
   let equal a b =
     if M.tracing then M.trace "c2po-normal-form" "COMPUTING EQUAL";
-    match GobConfig.get_string "ana.c2po.normal_form" with
+    match GobConfig.get_string "ana.c2po.equal" with
     | "normal_form" -> equal_normal_form a b
     | _ -> equal_standard a b