Bad assert

SRI-CSL · Jun 9, 2021 · f8e4a74 · f8e4a74
1 parent 501e362
commit f8e4a74
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/exists_forall/ef_client.c b/src/exists_forall/ef_client.c
@@ -121,7 +121,7 @@ model_t *ef_export_model(ef_client_t *efc, efmodel_error_code_t *code) {
 
   mdl = ef_get_model(efc, code);
   if (mdl != NULL) {
-    assert(mdl = efc->efsolver->exists_model);
+    assert(mdl == efc->efsolver->exists_model);
     efc->efsolver->exists_model = NULL;
   }
   return mdl;