Skip to content

Commit a92e0e3

Browse files
authored
Change style
1 parent 7859b6a commit a92e0e3

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

TROUBLESHOOTING.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ We could not display a progress bar since it is difficult to track the GTIRB int
1313
Check AddressSanitizer (ASan) version in the system; it may be too new for Teapot to function (see [README.md](https://github.com/lin-toto/teapot/blob/main/README.md)).
1414
Alternatively, download an old version of `libasan.so` and `LD_PRELOAD` it into the instrumented binary.
1515

16-
**Linker error "undefined reference to 'xxxyyy__dift_wrapper__'"**
16+
**Linker error `undefined reference to 'xxxyyy__dift_wrapper__'`**
1717

1818
Teapot DIFT does not yet support this external library function.
1919
Teapot currently only provides DIFT support for the external library functions used by the programs in [teapot-testcases](https://github.com/lin-toto/teapot-testcases/).

0 commit comments

Comments
 (0)