Cleanup.

SRI-CSL · Aug 30, 2017 · cc1ab18 · cc1ab18
1 parent d125a64
commit cc1ab18
Showing 1 changed file with 0 additions and 17 deletions.
diff --git a/src/api/yices_api.c b/src/api/yices_api.c
@@ -7770,23 +7770,6 @@ EXPORTED void yices_free_model(model_t *mdl) {
  * Print model mdl on FILE f
  * - f must be open/writable
  */
-/*
-  FILE *tmp_fp;
-  int32_t retval;
-
-
-  tmp_fp = fd_2_tmp_fp(fd);
-
-  if (tmp_fp == NULL){
-    return -1;
-  }
-
-  retval = ******
-
-  fclose(tmp_fp);
-
-  return retval;
-*/
 EXPORTED void yices_print_model(FILE *f, model_t *mdl) {
   model_print_full(f, mdl);
 }