Content - 0e9d2a5fd37e0fa50d91edecf9bc2d2439d3a40a - 30a77b7/system/callprover.c

visit type:

https://github.com/EasyCrypt/easycrypt

05 April 2024, 19:20:55 UTC

Tip revision: f27fcaaaaf1690c77c1d306b4b3d137435475588 authored by Pierre-Yves Strub on 16 February 2019, 06:08:09 UTC
add a "rigid" meta-tactic for forcing rigid unification

Tip revision: f27fcaa

callprover.c

/* ------------------------------------------------------------------------ */
#if defined(__WIN32__)
#include <SDKDDKVer.h>

#include <stdlib.h>
#include <Windows.h>

int wmain(int argc, LPWSTR argv[]) {
  (void) argc;
  (void) argv;
  abort();
}
#else
# include "unix/callprover.c"
#endif