diff options
Diffstat (limited to 'Build/source/texk/web2c/synctexdir/synctex.c')
-rw-r--r-- | Build/source/texk/web2c/synctexdir/synctex.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/synctexdir/synctex.c b/Build/source/texk/web2c/synctexdir/synctex.c index 6e3c457a711..bc52ed6219f 100644 --- a/Build/source/texk/web2c/synctexdir/synctex.c +++ b/Build/source/texk/web2c/synctexdir/synctex.c @@ -1719,7 +1719,4 @@ void synctex_node_recorder(halfword p) synctexabort(0); return; } - -# else -# warning "SyncTeX is disabled" # endif |