diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2018-12-25 09:21:42 -0500 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-12-25 09:21:42 -0500 |
| commit | d4620695ec44da55be046f9dee4caf1f29759943 (patch) | |
| tree | 1b4ceeea0c028fb354fa28e29bb384d4bb8fc205 /tests/test.h | |
| parent | c9bb1becf98d02123666eb084de88a443e1a2544 (diff) | |
| parent | 1a39672b01dc236068475e2d1a8a6f21814cba7e (diff) | |
Merge pull request #152 from ashalkhakov/more-tests
More tests.
Diffstat (limited to 'tests/test.h')
| -rw-r--r-- | tests/test.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/test.h b/tests/test.h index c0dec379..43a7746e 100644 --- a/tests/test.h +++ b/tests/test.h @@ -1,4 +1,4 @@ -#include "../include/urweb.h" +#include "urweb/urweb.h" typedef uw_Basis_string uw_Test_t; |