Add missing GameParametersSerialize to header

PiperOrigin-RevId: 467645145 Change-Id: I37eb844e677d70c2095dc266a961a16ddb222270
google-deepmind · Aug 15, 2022 · 89ba226 · 89ba226
1 parent f37c0c3
commit 89ba226
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/open_spiel/rust/src/rust_open_spiel.h b/open_spiel/rust/src/rust_open_spiel.h
@@ -28,6 +28,8 @@ void GameParametersSetInt(void* params_ptr, const char* key, int value);
 void GameParametersSetDouble(void* params_ptr, const char* key, double value);
 void GameParametersSetString(void* params_ptr, const char* key,
                              const char* value);
+char* GameParametersSerialize(const void* params_ptr,
+                              unsigned long* length); /* NOLINT */
 
 /* Game functions. */
 void* LoadGame(const char* name);