From 1a3bad9041ac075f3e2ae7f20528203704e87b28 Mon Sep 17 00:00:00 2001
From: Veronica Radu <veronicaradu@google.com>
Date: Mon, 7 Oct 2019 15:35:15 +0200
Subject: prog: mutate length of output buffers

Update #480
---
 executor/syscalls.h | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'executor/syscalls.h')

diff --git a/executor/syscalls.h b/executor/syscalls.h
index 946283fc0..57cbc46db 100644
--- a/executor/syscalls.h
+++ b/executor/syscalls.h
@@ -16503,11 +16503,13 @@ const call_t syscalls[] = {
     {"minimize$0", 0},
     {"mutate$array", 0},
     {"mutate$array2", 0},
+    {"mutate$buffer", 0},
     {"mutate$flags", 0},
     {"mutate$flags2", 0},
     {"mutate$flags3", 0},
     {"mutate$integer", 0},
     {"mutate$integer2", 0},
+    {"mutate$rangedbuffer", 0},
     {"mutate$union", 0},
     {"mutate0", 0},
     {"mutate1", 0},
-- 
cgit mrf-deployment