Skip to content

Commit 833da32

Browse files
Update framework.h
1 parent be84b4e commit 833da32

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

code/logic/fossil/pizza/framework.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,7 @@
1515
#ifndef FOSSIL_TEST_FRAMEWORK_H
1616
#define FOSSIL_TEST_FRAMEWORK_H
1717

18+
#include "common.h"
1819
#include "assume.h"
1920
#include "sanity.h"
2021
#include "mark.h"

0 commit comments

Comments
 (0)