]> Nishi Git Mirror - gwion.git/commitdiff
:art: Finish with optionnal memoize
authorfennecdjay <astor.jeremie@wanadoo.fr>
Mon, 21 Jan 2019 11:57:30 +0000 (12:57 +0100)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Mon, 21 Jan 2019 11:57:30 +0000 (12:57 +0100)
src/vm/vm_code.c

index 7501608d137104154f78687b26ad88415c2d0df4..bc93a29f9753c0bca51e054116b5b3bf354e5836 100644 (file)
@@ -66,8 +66,10 @@ ANN static void free_code_instr(const Vector v) {
 }
 
 void free_vm_code(VM_Code a) {
+#ifndef NOMEMOIZE
   if(a->memoize)
     memoize_end(a->memoize);
+#endif
   if(a->instr)
     free_code_instr(a->instr);
   free(a->name);