mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 00:55:31 +00:00
Code Activity

kremlin include paths to math/bigfix

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2021-08-14 01:34:16 -07:00
parent fecd354b27
commit 41d6087f6b
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/math/bigfix/FStar_UInt128_Verified.h
View file

@ -8,8 +8,8 @@
#define __FStar_UInt128_Verified_H
#include <inttypes.h>
#include <stdbool.h>
#include "kremlin/internal/types.h"
#include "kremlin/internal/target.h"
#include "math/bigfix/types.h"
#include "math/bigfix/target.h"
#include "FStar_UInt_8_16_32_64.h"