blob: 0c0e8ace8b6fdedc81b81698391281f3431c46cf [file] [log] [blame] [edit]
/*
* Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
int p_increment(int x)
{
return x + 1;
}